For the most recent entries see the Petri Nets Newsletter.

Petri-Netze als Formalismus zur Darstellung kausaler und zeitlicher Beziehungen.

Fidelak, M.

In: Arbeitspapiere der GMD Nr. 337; Forschungsgruppe Expertensysteme: Aus der Arbeit der Forschungsgruppe Expertensysteme, pages 1-25. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, 1988. In German.

Abstract: In der Arbeit wird gezeigt, daÑ mit Petri-Netzen kausale und zeitliche Sachverhalte graphisch dargestellt und linearalgebraisch verifiziert werden können. Der erste Abschnitt enthält eine grundlegende Übersicht über Petri-Netze. Der zweite Teil faÑt einige der hier vorgestellten Konzepte in einem Beispiel zur Modellierung einer Verkehrsampelsteuerung zusammen. Auf die Darstellung kausaler Beziehungen und Prozesse wird im dritten Teil eingegangen. Der vierte Abschnitt schlieÑlich zeigt, daÑ Petri-Netze auch dazu verwendet werden können, zeitliche Beziehungen zu erfassen.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography