Incidence matrix:

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

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

Places: P1, P2, P3, P4, P5, P6, P7, P8
Transitions: t1, t2, t3, t4, t5, t6, t7
Initial marking: [ 10100000 ]
Benchmark: "Bit Protocol"
Author: Jorma Paananen
Designed by: L.Stefanowicz (L.Stefanowicz@weit.uz.zgora.pl)
Date of creation: 2013.07.02
Last modification: 2013.07.02
Source: Introduction to and comparison of formalisms, Jorma Paananen, Tik-110.501, Seminar on Network Security
Jorma.Paananen@tele.fi (http: //www.tml.tkk.fi/Opinnot/Tik-110.501/1995/intfo.html)
Target: decomposition
Classification: Simple Net
Covered by p-invariants: FALSE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242