| 메소드 | 설명 | |
|---|---|---|
| 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 |