6
Petrinetze
Petrinetze erweitern die mit Automaten eingeführte Modellvorstellung für parallele Prozesse, deren unabhängigen Zustandsübergänge durch die Bewegung mehrer Marken nachgebildet werden. Wichtige Systemeigenschaften werden aus einer Erreichbarkeitsanalyse und aus Invarianten des Netzes abgeleitet.
6.1Autonome Petrinetze
6.1.1Grundidee
Automaten sind die grundlegende Modellform für ereignisdiskrete Systeme, die auf einer Beschreibung des Systems durch Zustände und Zustandsübergänge beruht. Diese Modellform wird in diesem und den nachfolgenden Kapiteln erweitert, um bestimmte Eigenschaften ereignisdiskreter Systeme besser darstellen zu können. Wie im Beispiel 3.5 auf S. 85 anhand eines Parallelrechners gezeigt wurde, erhält man sehr komplexe ...
Get Ereignisdiskrete Systeme, 3rd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
