Incidence matrix:

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

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

Places: P0, P1, P2, P3, P4, P5, P7, P8, P9, P10
Transitions: T0, T1, T2, T3, T4, T5, T6, T7, T8, T9
Initial marking: [ 0000000001 ]
Benchmark: "chrzastowski1"
Source: A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling
Source_www: https://www.researchgate.net/profile/Rachid_Hamadi/publication/225606517_A_Top-Down_Petri_Net-Based_Approach_for_Dynamic_Workflow_Modeling/links/09e41509c6c58d08a0000000.pdf
Source_fig_name: Fig. 6 page 11
Designed by: bartosz.z@hotmail.com
Type of benchmark:
Date of creation: 26.03.2016
Last modification: 12.01.2018
Modified by: lukaszstohnij3@gmail.com
Converted via: XML2TAB (L.Stefanowicz@weit.uz.zgora.pl)
Bounded: TRUE
Covered by SMCs: TRUE
Target:
Classification: Free Choice Net
Covered by p-invariants: TRUE
Live: TRUE
Safe: TRUE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242