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 |
Class and Description |
---|
Marking |