Incidence matrix:

 1 -1  0  0  0  0  0  0
-1  0  1  0  0  0  0  0
 0  1 -1  1 -1  0  0  0
 0  0  0 -1  1 -1  1  0
 0  0  0  0  0  0 -1  1
-1  0  0  0  0  1  0 -1

Note: columns represent places and rows represent transitions of the net.

Places: P1, P0, P2, P3, P4, P7, P5, P6
Transitions: T0, T1, T2, T3, T4, T5
Initial marking: [ 10001001 ]
Benchmark: park1in1out
Author: University of Lisboa
Date of creation: Mon Jun 24 03:32:00 2013
Converted via: pnml2pnh (daniel.m.kur@gmail.com)
Classification: Simple Net
Covered by p-invariants: FALSE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242