11.10.2013 Aufrufe

Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

Petri-Netz formal<br />

¯ Ë ist nichtleere Menge von Stellen<br />

È Ë Ì Å<br />

¯ Ì ist nichtleere Menge von Transitionen mit Ë Ì <br />

6.2. Modell der Petri-Netze<br />

¯ Ë ¢ Ì Ausgangskanten von Stellen; Eingangskanten von Transitionen<br />

¯ Ì ¢ Ë Eingangskanten von Stellen; Ausgangskanten von Transitionen<br />

¯ Ñ Ë Æ Startmarkierung<br />

Oft: eine Flußrelation statt <strong>und</strong> separat<br />

Petri-Netz formal: Beispiel<br />

È Ë Ì Å<br />

Ë × × × ××<br />

Ì Ø Ø Ø Ø<br />

× Ø × Ø × Ø × Ø ×Ø ×Ø <br />

Ø × Ø × Ø × Ø × Ø× Ø× <br />

Å × Å × , Å × , Å × Å × <br />

gegenseitiger Ausschluß zweier Prozesse<br />

Petri-Netz formal: Beispiel graphisch<br />

s1<br />

Formalisierung der Schalt-Regel<br />

¯Ø × Ë × Ø <br />

د × Ë Ø × <br />

t1<br />

s2 s3 s4 s5<br />

t2<br />

t3<br />

t4<br />

121

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!