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:
[ATTACH=full]21761[/ATTACH]
Ist diese richtig? Danke schonmal.
