Incidence matrix:

-1  0  0  1  1  1 -1  0  0  0  0
 0 -1  0  0  0  0  1  1  0  0  0
 0  0 -1  0  0  0  0 -1  1  1  0
 0  0  0 -1 -1  0  0  0  0  0  1
 1  0  0  0  0  0  0  0  0  0 -1
 0  1  0  0  0 -1  0  0 -1  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
Transitions: t1, t2, t3, t4, t5, t6, t7
Initial marking: [ 11100000000 ]
Benchmark: "Cncrr002"
Author: R.Wisniewski (R.Wisniewski@iie.uz.zgora.pl)
Date of creation: 10.02.2012
Last modification: 18.11.2012
Designed: PIPE 3.0
Converted via: XML2PNH (L.Stefanowicz@weit.uz.zgora.pl)
Results:
Selection hypergraph: xt/c-exact
Target: decomposition
Classification: Marked Graphs
Covered by p-invariants: TRUE
Safe: TRUE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242