Petri-Netze

[InformaticStudent]

Hallo zusammen,

ich habe folgende Aufgabe:

We consider a Petri net PN = (S, T, SNT, TNS, M0) with
S = {s0, s1, s2, s3}
T = {t0, t1, t2, t3}
SNT = {(s0 ; t0) , (s1 ; t1) , (s1 ; t2) , (s3 ; t3)}
TNS = {(t0 ; s1) , (t1 ; s2) , (t2 ; s3) , (t3 ; s1)} M0 (s0) = 1 M0 (s) = 0 for all s ≠ s0.
Draw this Petri net and specify all firing sequences of finite length starting from M0.

Meine Lösung zum Petri Netz wäre die folgende:



Ist diese richtig? Danke schonmal.

 

[KonradN]

Fehlt da nicht der Pfeil vom SNT Element (s3; t3)?

 

[InformaticStudent]

Fehlt da nicht der Pfeil vom SNT Element (s3; t3)?

Stimmt, danke.