wi1-wt08-kap03 - Informatik
wi1-wt08-kap03 - Informatik
wi1-wt08-kap03 - Informatik
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 />
� Zeitbehaftete Petri-Netze<br />
� alle bisher betrachteten Petri-Netze beinhalten keinen expliziten Zeitbegriff<br />
� die Netze sind insofern idealisiert als alle Transitionen zum gleichen Zeitpunkt<br />
abgearbeitet werden, an dem die dafür erforderlichen Bedingungen erfüllt sind<br />
� insbesondere wenn die Leistungsfähigkeit eines Systems untersucht werden soll (z.B.<br />
zu Simulationszwecken), sind Zeitaussagen bezüglich der Dauer einer Aktion oder<br />
eines Ereignisses mit einzubeziehen<br />
� atomare Ereignisse oder Transitionen werden per Definition unendlich schnell<br />
ausgeführt d.h. sie benötigen keine Zeit für die Ausführung<br />
� ein zusammengesetztes Ereignis oder eine zusammengesetzte Transaktion kann jedoch<br />
eine bestimmte Zeitdauer benötigen<br />
� die Marken müssen somit eine gewisse Zeitspanne (t>0) auf einer Stelle verharren<br />
können, bis sie von einer Transaktion verbraucht werden<br />
� die Zeitintervalle können in den Stellen (siehe Bild (a)) oder in den Transitionen (siehe<br />
Bild (b)) festgelegt werden, verharren müssen die Marken aber jeweils auf den Stellen<br />
(a)<br />
Rohstoffe<br />
Arbeiter<br />
Bearbeiten<br />
Werkstück<br />
delay 10 sec<br />
(b)<br />
Rohstoffe<br />
Arbeiter<br />
Vorlesung WI 1 A. Karcher WT08 Kapitel 3 „Zustandsorientierte Modelle“<br />
Bearbeiten<br />
delay 10 sec<br />
Werkstück<br />
35