ConsistentExample

Incidence matrix:

-1 -1  0  0  0  1  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
-1 -1  0  0  1  0  1  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
 0  0 -1  0  0 -1  0  1  0  0  0  0  0  0  0  1  0  0  0  0  1  0  0  0  0  0  0  0  0
 0  0 -1 -1  1  0  0  0  1  0  0  0  0  0  0  0  0  0  0  0  0  1  0  0  0  0  0  0  0
 0  0  0  0  0  0 -1 -1  0 -1  0  1  0  1  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
 0  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  0
 0  0  0  0  0  0  0  0 -1  0 -1  0  1  0  1  0  0  0  0  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  1  0  0  0  0
 0  0  0  0  0  0 -1  1  0 -1  0  0  0  1  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0
 0  0  0  0  0  0  0  0  0  0  0  0  0 -1  0  1  0  0 -1  0  0  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 -1  0  0
 0  0  0  0 -1  0  0  0  0  0  0  0  0  0  0  0  0  0 -1  1  0  0  0  0  0  0  0  1  0
 1  0  1  0  0  0  0  0  0  0  1  0  0  0  0  0 -1  1  0  0  0  0  0  0  0  0  0  0  0
 0  0  0  0  0 -1  0 -1  0  0  0  0 -1  0 -1  0  0  0  1  0  0  0  0  0  0  0  0  0  0
 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 -1  0  0  0  0  0  0  0  0  0  0  0  0  0 -1  1  0  0  0  0  0  0  0  0  1
 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  0  0  0  0
 0  0  0  1  0  0  0  0  0  0  0  0  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  0  0  0  0  0  0  0  0  0  0 -1  0  0  0  0  0  0
 0  0  0  0  0  0  0  0  0  0  0  0  0  0 -1  0  0  0  0  0  0  0  0  1  0  0  0  0  0
 0  0  0 -1  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  1  0  0  0  0
 0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  1  0  0  0  0  0  0 -1  0  0  0
 0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0 -1  0  0  0  0  0  0  0  1  0  0
 0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  1  0  0  0  0  0  0  0  0 -1  0
 0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  1  0  0  0  0  0  0  0  0  0 -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, P14, P15, P16, P17, P18, P19, P20, P21, P22, P23, P24, P25, P26, P27, P28, P29
Transitions: t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26
Initial marking: [ 01010000000000001000000000000 ]
Benchmark: "ConsistentExample"
Author: Hans Vangheluwe, McGill University
Designed by: L.Stefanowicz (L.Stefanowicz@weit.uz.zgora.pl)
Type of benchmark: real
Date of creation: 09.06.2013
Last modification: 09.06.2013
Source: http://msdl.cs.mcgill.ca/people/hv/teaching/MS/COMP522B2008/projects/material/Wisam.AlAbed/06Experiments_html
Target: decomposition
Classification: Petri Net
Covered by p-invariants: FALSE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242