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