Incidence matrix:

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

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
Transitions: T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13
Initial marking: [ 1000000000000 ]
Benchmark: "board_game"
Author: James L. Peterson
Source: Petri Net Theory and the Modelling of Systems
Type of benchmark: REAL (board game)
Designed by: bronek.jg@gmail.com
Date of creation: 11.03.2014
Last modification: 05.05.2014
Converted via: XML2PNH (L.Stefanowicz@weit.uz.zgora.pl)
Classification: Petri Net
Covered by p-invariants: FALSE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242