Package org.processmining.models.semantics.petrinet

Interface Summary
InhibitorNetSemantics  
PetrinetSemantics  
ResetInhibitorNetSemantics  
ResetNetSemantics  
 

Class Summary
CTMarking This class represent a Marking with an addition of omega pointer.
Marking  
PetrinetExecutionInformation