Question: ( a ) Draw the Event - Driven Petri Net ( EDPN ) for Port events: P = { p 1 , p 2 }

(a) Draw the Event-Driven Petri Net (EDPN) for
Port events: P ={p1, p2}
Data places: D ={d1, d2, d3}
Transitions: S ={s1, s2, s3, s4}
In ={((p1, d1), s1),((p2, d1), s2),((p1, d2), s3),((p2, d2), s4)}
Out ={(s1, d2),(s2, d2),(s3, d3),(s4, d3)}
(b) Describe the transition enabling the firing sequences for the following marking sequence. If there is a
transition can be fired, what is the following marking tuple (you can show by either drawing on the petri
nets or the expressions).
m1=(0,0,1,0,0)
m2=(1,0,2,0,0)
m3=(0,0,0,1,0)
m4=(1,0,0,1,0)
m5=(0,0,0,0,1)
m6=(0,1,0,2,1)
m7=(0,0,0,1,0)

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!