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 | Description |
---|---|
CTMarking |
This class represent a Marking with an addition of omega pointer.
|
Marking | |
PetrinetExecutionInformation |