Incidence matrix:
1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0
0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
-1 0 0 1 -1 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 0 0
0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0
0 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 1 0 0
0 1 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 1 -1 -1 0 0 0 1 0 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 0 -1 1 0 0 0 0 0 0
0 0 0 0 0 0 0 -1 0 0 0 0 -1 0 -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 0 1 -1 0 0 0 0
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 0
0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1
0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -1 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, P5', P10', P12'
Transitions: T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15
Initial marking: [ 000001000010100000 ]
Benchmark: "balduzzi1"
Source: First-Order Hybrid Petri Nets: A Model for Optimization and Control
Source_www: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.462.1974&rep=rep1&type=pdf
Source_fig_name: Fig. 7. page 13
Designed by: bartosz.z@hotmail.com
Type of benchmark:
Date of creation: 02.06.2016
Last modification: 03.07.2019
Modified by: Marcin Wojnakowski
Converted via: XML2TAB (L.Stefanowicz@weit.uz.zgora.pl)
Bounded: TRUE
Covered by SMCs: FALSE
Target:
Classification: Petri Net
Covered by p-invariants: FALSE
Live: TRUE
Safe: TRUE