Incidence matrix:

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

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

Places: P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15
Transitions: t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18
Initial marking: [ 100100100000001 ]
Benchmark: "Two-Pusher"
Designed by: L.Stefanowicz (L.Stefanowicz@weit.uz.zgora.pl)
Date of creation: 03.07.2013
Last modification: 02.07.2019
Modified by: Marcin Wojnakowski
Designed: http://rutcor.rutgers.edu/~pinzon/papers/rrr1/node29.html
Target: decomposition
Classification: Simple Net
Covered by p-invariants: FALSE
Live: TRUE
Safe: FALSE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242