Method |
Description |
|
TestAccessMarking ( ) : void |
|
|
TestBifurcatingTransition ( ) : void |
|
|
TestConflictDetection ( ) : void |
|
|
TestDoubleSelfTransition ( ) : void |
|
|
TestDrainTransition ( ) : void |
|
|
TestFireConflictingTransitions ( ) : void |
|
|
TestFireCreatesModifiedMarking ( ) : void |
|
|
TestFireCreatesModifiedMarking2 ( ) : void |
|
|
TestInputTransition ( ) : void |
|
|
TestLoadPnmlFile ( ) : void |
|
|
TestMarkingAffectsEnablement ( ) : void |
|
|
TestMarkingTransitionEnabled ( ) : void |
|
|
TestMultiEnabledPetriNet ( ) : void |
|
|
TestPrioritySelection ( ) : void |
|
|
TestPrioritySelection2 ( ) : void |
|
|
TestPrioritySetup ( ) : void |
|
|
TestSelfTransition ( ) : void |
|
|
TestTransitionFunctionExecution ( ) : void |
|
|