Incidence matrix:

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

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

Places: P0, P1, P2, P3, P4, P5, P6, P7
Transitions: T0, T1, T2, T3
Initial marking: [ 01001110 ]
Benchmark: "argewala2"
Source: Putting Petri Nets to Work
Source_www: https://www.computer.org/csdl/mags/co/1979/12/01658580.pdf
Source_fig_name: Figure 4. page 4
Designed by: bartosz.z@hotmail.com
Type of benchmark:
Date of creation: 12.03.2016
Last modification: 28.07.2016
Converted via: XML2TAB (L.Stefanowicz@weit.uz.zgora.pl)
Bounded: TRUE
Target:
Classification: Free Choice Net
Covered by p-invariants: TRUE
Live: TRUE
Safe: TRUE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242