| Method |
Description |
|
|
AssertMarkings ( Marking m, double>.Dictionary markingsExpected ) : void |
|
|
|
Test1to1Enablement ( ) : void |
|
|
|
Test1to1Fire ( ) : void |
|
|
|
Test2to1EnablementAndFiring ( ) : void |
|
|
|
TestConflictDetection ( ) : void |
|
|
|
TestCreate2to1MatrixNet ( ) : void |
|
|
|
TestDoubleSelfTransition ( ) : void |
|
|
|
TestDrainTransition ( ) : void |
|
|
|
TestFireConflictingTransitions ( ) : void |
|
|
|
TestInputTransition ( ) : void |
|
|
|
TestLoadPnmlFile ( ) : void |
|
|
|
TestMarkingFlowInBifurcatedTransition ( ) : void |
|
|
|
TestMarkingFlowInComplexNet ( ) : void |
|
|
|
TestPrioritySelection ( ) : void |
|
|
|
TestPrioritySelection2 ( ) : void |
|
|
|
TestPrioritySetup ( ) : void |
|
|
|
TestSelfTransition ( ) : void |
|
|
|
TestSetMarkingAffectsEnablementszx ( ) : void |
|
|
|
TestTransitionFunctionExecution ( ) : void |
|
|
