| 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 |