Incidence matrix:

 1  0  0 -1  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  1 -1  0  0  0  0  0  0  0  0  0  0
 0  0  0  0 -1  0  0  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 -1  0  0  1  0  0  0  0
 0  0 -1  1  0  0  0  0  0  0  0  0  1  0  0 -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  1 -1  0  0 -1  1  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

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

Places: P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15
Transitions: T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11
Initial marking: [ 1010101010100101 ]
Benchmark: "brenner1"
Source: A Framework to Decompose GSPN Models
Source_www: https://www.researchgate.net/profile/Kais_Klai/publication/220783906_On_the_Equivalence_Between_Liveness_and_Deadlock-Freeness_in_Petri_Nets/links/02e7e53ad3ec5c13d7000000.pdf#page=99
Source_fig_name: Fig.6 page 151
Designed by: bartosz.z@hotmail.com
Type of benchmark:
Date of creation: 13.06.2016
Last modification: 01.07.2019
Modified by: Marcin Wojnakowski
Converted via: XML2TAB (L.Stefanowicz@weit.uz.zgora.pl)
Bounded: TRUE
Target:
Classification: Marked Graph
Covered by p-invariants: TRUE
Live: TRUE
Safe: FALSE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242