More Related Content
Similar to On the Step Explosion Problem
Similar to On the Step Explosion Problem (20)
More from Universität Rostock
More from Universität Rostock (20)
On the Step Explosion Problem
- 1. On the Step Explosion Problem Stephan Roch Humboldt-Universität zu Berlin Karsten Wolf (= Karsten Schmidt) Universität Rostock
- 2. Steps in Petri nets … irrelevant for set of reachable markings: m m‘ m m1 ….. m‘ {t1,…,tn} t1 t2 tn State space tools do not consider steps
- 3. Steps in Petri nets with read arcs a b p1 p2 (1,1) (0,1) (1,0) (0,0) a b {a,b}
- 4. Steps in Petri nets with inhibitory arcs a b p1 p2 (0,0,1,1) (0,1,0,1) (1,0,1,0) (1,1,0,0) a b {a,b} p3 p4
- 5. Steps in Petri nets with reset arcs a b p1 p2 (1,1,0,0) (0,0,1,0) (0,0,0,1) (0,0,1,1) a b {a,b} p3 p4
- 6. Steps in Petri nets with capacities a b p1 p2 (1,1,0,0) (0,0,1,1) {a,b} p3 p4 - first consume then produce -
- 7. Steps in Petri nets with priorities a b p1 p2 (1,1,0,0) (0,1,1,0) (1,0,0,1) (0,0,0,0) (0,0,0,0) (0,0,1,1) {a,b} p3 p4 t1 t2 a t2 b t1
- 8. Steps in Petri nets with signal arcs a t1 p (1) (1) (1) (2) {a,t1} {b,t2} {a,b,t2} b t2 {a,b,t1}