org.processmining.models.graphbased.directed.transitionsystem
Interfaces
TransitionSystem
Classes
AcceptStateSet
CoverabilityGraph
InitialAndAcceptStateSearcher
ReachabilityGraph
StartStateSet
State
Transition
TransitionSystemFactory
TransitionSystemImpl