Incidence matrix:

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

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

Places: P1, P2, P3, P4
Transitions: t1, t2, t3
Initial marking: [ 1100 ]
Benchmark: "coloured"
Designed by: L.Stefanowicz (L.Stefanowicz@weit.uz.zgora.pl)
Date of creation: 06.06.2013
Last modification: 06.06.2013
Target: decomposition
Classification: Marked Graphs
Covered by p-invariants: TRUE
Safe: TRUE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242