8
Zeitbewertete Petrinetze
In diesem Kapitel werden Petrinetze um Zeitbewertungen der Stellen bzw. Transitionen erweitert. Auf eine kompakte algebraische Beschreibung kommt man für zeitbewertete Synchronisationsgraphen mit Hilfe der Max-plus-Algebra.
8.1Ziele der Modellerweiterung
Die bisher behandelten Modelle können nur die Reihenfolge darstellen, in der ein dynamisches System seine diskreten Zustände durchläuft, aber sie können nichts über die aktuellen Zeitpunkte aussagen, an denen die Zustandsübergänge stattfinden. Die in diesem und dem nachfolgenden Kapitel behandelten Erweiterungen von Petrinetzen und Automaten führen auf zeitbewertete Modelle ereignisdiskreter Systeme, mit denen dies möglich ist.
Aussagen über die absolute Zeit t, zu der ...
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.
