Invariant ();
Simulation ();
State Space ( );
Classification ();
Comparison ();
Incidence and Marking ( );
General Stochastic Petri-Net Analysis ( Petri-).
, . .
1.
Invariant Analysis ( )
, (.2).
2.
Invariant Analysis , .3. Analyse T P - P -.
3.
Simulation Analysis ( )
Simulation Analysis .
Simulate . . , , , (.4).
4.
Drawing modes ( )
Place Mode ( )
.
- ' P '. ' P '. . . , , .
, .
Transition Mode ( )
- ' '. , ' '. : .
Arc Mode ( )
- ' S '. . , . . , . SHIFT, .
Add Token Mode ( )
+. .
|
|
Delete Token Mode ( )
-. .
State Space Analysis ( )
.
Analyse . - petri-.
, , , (.4).
General Stochastic Petri-Net Analysis ( Petri-)
General Stochastic Petri-Net Analysis (nalys GSNP) .
Ananlyse GSPN GSNP (. ). , , GSNP. (.5).
5.
Classification Module ( )
.
Classifi. , , (.6).
6.
Comparison Analysis ( )
After clicking on the run subdirectory of the comparison analysis a dialogue box appears. This module compares two different nets. By pressing the compare button the module will compare two different circuits.
Comparison (. ). . " Compar ", ( ).
, .
, , .
Incidence and Marking ( )
Incidence and Marking . Calculate, D+, D-, D, :
, , , (.4).
State Machine -
Marced Graph -
Free Choice Net -
Extended Free Choice Net -
Simple Net -
Extended Simple Net -
false -
true -
This Petri Net has no timed transitions, So GSPN analysis cannot be performed
Petri , , GSPN
Siphons -
Traps -
bounded =
deadlock -