Package org.processmining.models.semantics.petrinet

Interface Summary

Interface	Description
InhibitorNetSemantics
PetrinetSemantics
ResetInhibitorNetSemantics
ResetNetSemantics

Class Summary

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