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

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Petri-Netz nach Feuern von deliver<br />

Petri-Netze<br />

produce<br />

Arten von Petri-Netzen<br />

ready to ready to<br />

deliver<br />

buffer empty<br />

consume<br />

ready to<br />

produce<br />

¯ Bedingungs-Ereignis-Netz<br />

deliver<br />

buffer filled<br />

6.2. Modell der Petri-Netze<br />

remove<br />

ready to<br />

remove<br />

Stellen sind boolesche Variablen (bisheriges Beispiel)<br />

¯ Stellen-Transitions-Netz<br />

Stellen nehmen Integer-Werte an, eventuell mit ‘Kapazitäten’<br />

¯ höhere Petri-Netze<br />

Stellen sind Container für (strukturierte) Werte<br />

Petri-Netz mit Puffergröße 2<br />

produce<br />

ready to ready to<br />

deliver<br />

1: 2:<br />

consume<br />

buffer empty buffer empty<br />

ready to<br />

produce<br />

deliver<br />

1: buffer filled 2:<br />

Petri-Netz mit Puffergröße 2 mit Marken<br />

produce<br />

buffer filled<br />

1: buffer filled 2: buffer filled<br />

remove<br />

ready to<br />

remove<br />

ready to<br />

1: 2:<br />

ready to<br />

deliver<br />

consume<br />

buffer empty buffer empty<br />

ready to<br />

produce<br />

deliver<br />

remove<br />

ready to<br />

remove<br />

consume<br />

consume<br />

consume<br />

119

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!