consumerReachability

Incidence matrix:

-1  1  0  0  0
 1 -1  1  0  0
 0  0 -1 -1  1
 0  0  0  1 -1

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

Places: P1, P2, P3, P4, P5
Transitions: t1, t2, t3, t4
Initial marking: [ 10010 ]
Benchmark: "Consumer Reachability"
Author: Erkki Laitila
Designed by: L.Stefanowicz (L.Stefanowicz@weit.uz.zgora.pl)
Date of creation: 2013.07.03
Last modification: 2013.07.03
Source: http://symbolicanalysis.wordpress.com/2010/03/25/reachability-analysis-vs-symbolic-atomistic-model/
Target: decomposition
Classification: Marked Graphs
Covered by p-invariants: FALSE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242