Folien als PDF
Folien als PDF
Folien als PDF
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
M1. Petri-Netz<br />
Methodischer Entwurf eingebetteter Systeme<br />
Modelle und Begriffe<br />
Ein Petri-Netz ist ein 6-Tupel G(P,T,F,K,W,M 0<br />
) mit:<br />
• P : eine Menge von Plätzen<br />
• T : eine Menge von Transitionen<br />
• F : Flussrelation, Kanten<br />
• K : PfiN Kapazität der Stellen<br />
• W: FfiN Kantengewichte<br />
• M 0<br />
: Anfangsmarkierung<br />
t1<br />
t2<br />
Eine Transition t in einem Petri-Netz kann<br />
schalten, wenn an allen Eingangsstellen<br />
genügend Marken vorhanden und an den<br />
Ausgangsstellen genügend Plätze frei<br />
sind.<br />
Ereignisorientiertes Berechnungsmodell.<br />
Ressourcenkonflikt:<br />
Entweder kann t1 oder t2<br />
schalten, da der Platz in<br />
der Mitte nur eine Marke<br />
enthält.<br />
S. A. Huss / Folie 3-6