Incidence matrix:

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

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, P16, P17, P18, P19, P20
Transitions: T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16
Initial marking: [ 111110000000000000000 ]
Benchmark: "basile1"
Source: FEEDBACK CONTROL LOGIC FOR BACKWARD CONFLICT FREE CHOICE NETS
Source_www: http://serv.yanchick.org/Books/%D0%9C%D0%B0%D1%82%D0%B5%D1%80%D0%B8%D0%B0%D0%BB%D1%8B%20%D0%BA%D0%BE%D0%BD%D1%84%D0%B5%D1%80%D0%B5%D0%BD%D1%86%D0%B8%D0%B9/ifac2005/Fullpapers/04608.pdf
Source_fig_name: Fig. 1 b) page 2
Designed by: bartosz.z@hotmail.com
Type of benchmark:
Date of creation: 21.03.2016
Last modification: 28.07.2016
Converted via: XML2TAB (L.Stefanowicz@weit.uz.zgora.pl)
Bounded: 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