Höhere Petri-Netze - ein Werkzeug für Modellierung und Analyse verteilter Systeme und paralleler Datenverarbeitungsprozesse / High level Petri nets, a tool for modelling and analysis of distributed systems

Ein nun schon klassisches Werkzeug zur Beschreibung paralleler Datenverarbeitungsprozesse stellen Petri-Netze dar. Nach einem kurzen Einblick in die geschichtliche Entwicklung, die gleichzeitig eine Klassifikation verschiedener Petri-Netz-Arten gibt, werden an einem einfachen Beispiel PetriNetze und höhere Petri-Netze anschaulich eingeführt. Der mathematische Apparat zur formalisierten Behandlung wird angesprochen. Die FloydHoaresche Zusicherungsmethode wird auf das Gebiet höherer Petri-Netze übertragen, um auch in diesem Gebiet als Hilfsmittel zur Beschreibung und Verifikation von System-Eigenschaften zu dienen. Als Anwendungsbeispiel wird eine Lösung des Problems der verteilten Terminierung ein Grundproblem paralleler Datenverarbeitung skizziert.

[1]  Friedemann Mattern Das Märchen von der verteilten Terminierung - Overflow , 1985, Inform. Spektrum.

[2]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[3]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[4]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[5]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[6]  Wolfgang Reisig,et al.  Petri Nets with Individual Tokens , 1982, Theor. Comput. Sci..