| Class and Description |
|---|
| CTMarking
This class represent a Marking with an addition of omega pointer.
|
| Marking |
| Class and Description |
|---|
| Marking |
| Class and Description |
|---|
| Marking |
| Class and Description |
|---|
| CTMarking
This class represent a Marking with an addition of omega pointer.
|
| Marking |
| Class and Description |
|---|
| Marking |
| Class and Description |
|---|
| Marking |
| Class and Description |
|---|
| Marking |
| Class and Description |
|---|
| CTMarking
This class represent a Marking with an addition of omega pointer.
|
| EfficientPetrinetSemantics.PlaceVisitor
Visitor style interface to iterate through places
|
| Marking |
| PetrinetSemantics |
| Class and Description |
|---|
| EfficientPetrinetSemantics
Petrinet semantics designed with good performance characteristics avoiding
object creation overhead.
|
| EfficientPetrinetSemantics.PlaceVisitor
Visitor style interface to iterate through places
|
| InhibitorNetSemantics |
| Marking |
| PetrinetSemantics |
| ResetInhibitorNetSemantics |
| ResetNetSemantics |
| Class and Description |
|---|
| InhibitorNetSemantics |
| PetrinetSemantics |
| ResetInhibitorNetSemantics |
| ResetNetSemantics |
| Class and Description |
|---|
| Marking |
| Class and Description |
|---|
| Marking |
| Class and Description |
|---|
| Marking |
| Class and Description |
|---|
| Marking |
| Class and Description |
|---|
| Marking |
| Class and Description |
|---|
| Marking |
| Class and Description |
|---|
| Marking |
| Class and Description |
|---|
| Marking |