Package org.processmining.models.graphbased.directed.transitionsystem
-
Interface Summary Interface Description TransitionSystem -
Class Summary Class Description AcceptStateSet CoverabilityGraph InitialAndAcceptStateSearcher ReachabilityGraph StartStateSet State Transition TransitionSystemFactory TransitionSystemImpl