 |
| | | | | Beschreibung | | Dieser Baustein befasst sich einführend mit dem Formalismus der Petri-Netze. In diesem Zusammenhang werden wichtige Begriffe wie feuern, Hürde und Wechsel, sowie Lebendigkeit, Sicherheit und Invarianz erläutert.
Weiterhin wird die Überführung eines Petri-Netzes in ein Transitionssystem vorgestellt, da diese Darstellung bei der Besprechung des Erreichbarkeitsproblems dienlich ist. Am Ende wird auf eine zeitliche Erweiterung des klassischen Formalismuses eingegangen, indem diese Erweiterung anhand eines Vertreters der High-Level-Netze dargestellt wird. Als Vertreter werden Environment/Relationsship-Netze herangezogen, da sie den Informationsspeicher der Marken klassischer Petri-Netze erweitern und somit bei der Modellierung realer Systeme besonders nützlich sind. Auf die Erweiterung des Informationsspeichers der Marken wird dabei ebenso eingegangen. Zum besseren Verständnis, werden sämtliche Formalismen an einem gemeinsamen Anwendungsbeispiel, welches eine Prozessor-Pipeline darstellt, demonstriert.
Nächster Gliederungspunkt Anwendungsbeispiel: Prozessor-Pipeline | |
| | | | | | | | | | | | | Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben. |
|
| | | | | | | | Petri-Netze (Übersicht) | | | | |  | Untergeordnet | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Ansprechpartner | | | | | | | | | | |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
