17.01.2014 Aufrufe

Umdruck - Institut für Automatisierungs- und Softwaretechnik

Umdruck - Institut für Automatisierungs- und Softwaretechnik

Umdruck - Institut für Automatisierungs- und Softwaretechnik

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.

2.5 Prozessführung von Folge- <strong>und</strong> Stückprozessen<br />

AT II<br />

Eigenschaften von Petri-Netzen<br />

– Verklemmung (Deadlock)<br />

<br />

<br />

Totale Verklemmung: Es existiert eine Markierung, von welcher aus keine<br />

Transition mehr schalten kann.<br />

Partielle Verklemmung: Es existiert eine Markierung, von welcher aus nur noch<br />

ein Teil aller Transitionen aktivierbar ist.<br />

– Lebendigkeit<br />

<br />

<br />

Lebendige Transition: Transition, die von jeder Markierung aus aktivierbar ist.<br />

Lebendiges Netz: Netz mit ausschließlich lebendigen Transitionen.<br />

– Reversibilität<br />

<br />

Die Anfangsmarkierung eines Netzes ist von jeder Folgemarkierung aus<br />

reproduzierbar.<br />

© 2013 IAS, Universität Stuttgart 180

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!