|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| InhibitorNetSemantics | |
| PetrinetSemantics | |
| ResetInhibitorNetSemantics | |
| ResetNetSemantics | |
| Class Summary | |
|---|---|
| CTMarking | This class represent a Marking with an addition of omega pointer. |
| Marking | |
| PetrinetExecutionInformation | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||