Documentation

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

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

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

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