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 />

Kondensation eines Markierungsgraphen<br />

– Ermittlung "stark zusammenhängender" Teilgraphen (Kondensation)<br />

<br />

<br />

Sämtliche Markierungen innerhalb eines stark zusammenhängenden<br />

Teilgraphen (starke Komponente) sind gegenseitig erreichbar<br />

Quelle/Senke-Beziehung zwischen starken Komponenten eines<br />

Markierungsgraphen<br />

– Ableitung folgender Eigenschaften aus der Kondensation<br />

<br />

<br />

<br />

<br />

Reversibilität<br />

Der gesamte Markierungsgraph ist stark zusammenhängend.<br />

Totale Verklemmung<br />

Es existiert eine Senke, die nur aus einem Knoten besteht.<br />

Partielle Verklemmung<br />

Es existiert eine Senke, die nicht sämtliche Transitionen enthält.<br />

Lebendigkeit<br />

Jede Senke der Kondensation enthält sämtliche Transitionen<br />

© 2013 IAS, Universität Stuttgart 188

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!