Académique Documents
Professionnel Documents
Culture Documents
/cygdrive/C/Users/antonia/Downloads/Labos1 (1).cpn
Report generated: Mon Nov 13 01:28:26 2017
Statistics
------------------------------------------------------------------------
State Space
Nodes: 173
Arcs: 405
Secs: 0
Status: Partial
Scc Graph
Nodes: 173
Arcs: 405
Secs: 0
Boundedness Properties
------------------------------------------------------------------------
Home Properties
------------------------------------------------------------------------
Home Markings
Initial Marking is not a home marking
Liveness Properties
------------------------------------------------------------------------
Dead Markings
169 [99,98,97,96,95,...]
Fairness Properties
------------------------------------------------------------------------
No infinite occurrence sequences.