org.processmining.framework.models.transitionsystem
Classes
Automaton
MultiSet
PetrifyConstants
TransitionSystem
TransitionSystemEdge
TransitionSystemVertex
TransitionSystemVertexBag
TransitionSystemVertexSet
TSConstants