Package org.processmining.models.semantics.petrinet

Interface Summary

Interface	Description
EfficientPetrinetSemantics	Petrinet semantics designed with good performance characteristics avoiding object creation overhead.
EfficientPetrinetSemantics.PlaceVisitor	Visitor style interface to iterate through places
InhibitorNetSemantics
PetrinetSemantics
ResetInhibitorNetSemantics
ResetNetSemantics

Class Summary

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