Documentation

isAdIsomorphic :: UMLActivityDiagram -> UMLActivityDiagram -> Bool Source #

isPetriIsomorphic :: forall p (n :: Type -> Type) p' (n' :: Type -> Type) a. (Net p n, Net p' n', Ord a) => p n a -> p' n' a -> Bool Source #

petriHasMultipleAutomorphisms :: forall p (n :: Type -> Type) a. (Net p n, Ord a) => p n a -> Bool Source #

petriToGraph :: forall p (n :: Type -> Type) a. (Net p n, Ord a) => p n a -> Graph Source #