Incidence matrix:

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

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

Places: P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10
Transitions: T0, T1, T2, T3, T4, T5, T6, T7
Initial marking: [ 10110000001 ]
Benchmark: "campos1"
Source: Linear Algebraic Techniques For The Analysis Of Petri Nets
Source_www: http://www.researchgate.net/profile/Jose_Colom/publication/2581439_Linear_Algebraic_Techniques_For_The_Analysis_Of_Petri_Nets/links/02e7e527ccf68112eb000000.pdf
Source_fig_name: Fig. 2. (a) page 4
Designed by: bartosz.z@hotmail.com
Type of benchmark:
Date of creation: 21.10.2015
Last modification: 28.07.2016
Converted via: XML2TAB (L.Stefanowicz@weit.uz.zgora.pl)
Bounded: TRUE
Target:
Classification: Simple Net
Covered by p-invariants: TRUE
Live: TRUE
Safe: TRUE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242