Package org.processmining.framework.models.transitionsystem

Class Summary
Automaton Title:
MultiSet<E>  
PetrifyConstants  
TransitionSystem  
TransitionSystemEdge  
TransitionSystemVertex  
TransitionSystemVertexBag  
TransitionSystemVertexSet  
TSConstants