03.01.2013 Aufrufe

wi1-wt08-kap03 - Informatik

wi1-wt08-kap03 - Informatik

wi1-wt08-kap03 - Informatik

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.

Prof. Karcher<br />

Petri-Netze<br />

� Beispiele: Bedingungs-/Ereignis-Netz<br />

� gegenseitiger Ausschluss von t1 und t2<br />

kritische Bereiche<br />

Vorlesung WI 1 A. Karcher WT08 Kapitel 3 „Zustandsorientierte Modelle“<br />

31

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!