Vorwort

Der Integrierte Netz Analysator INA ist ein Programm, mit dessen Hilfe Petri-Netze verschiedenster Typen unter verschiedenen Schaltregeln, insbesondere unter Zeitbewertung, hinsichtlich allgemeiner Eigenschaften untersucht werden können. Typische Eigenschaften, die durch Analyse nachgewiesen werden, sind Beschränktheit von Plätzen, Lebendigkeit von Transitionen, Erreichbarkeit bzw. Nicht-Erreichbarkeit von Markierungen bzw. Zuständen.

Mit der Modellierung eines (vorhandenen oder geplanten) Systems in der Sprache der Petri-Netze, d.h. dem Entwurf eines Petri-Netz-Modells, ist eine Abstraktion verbunden, bei der bestimmten Eigenschaften des Systems Eigenschaften des Netzes zugordnet sind, z.B. kann der Verklemmungsfreiheit des Systems die Nichterreichbarkeit einer toten Markierung entsprechen.

Der Lebenszyklus eines Netzmodells kann grob als

• Entwurf
• Analyse
• Interpretation
• Neuentwurf

skizziert werden. Dabei kommt der Interpretation der Analyseergebnisse eine nicht zu unterschätzende Bedeutung zu.

INA wurde von Prof. Dr. Peter H. Starke zur Analyse von Netzen entwickelt (es umfasst die in früheren Werkzeugen ,,Petri-Netz-Maschine``, ,,PAN``, ,,CPNA`` und ,,ATNA`` angebotenen Analyseverfahren und ist wesentlich erweitert worden). Mit diesem interaktiven, menügesteuerten Programm können Sie Netze editieren, reduzieren, ausführen und analysieren.

Dieses Handbuch beschreibt die Funktionalität der Version 1.7 von INA . Es wurde von Stephan Roch in Zusammenarbeit mit Prof. Peter H. Starke erstellt.

Folgende neue Funktionen werden hier erstmals beschrieben:

• sture Reduktion des Erreichbarkeitsgraphen
• Überdeckbarkeitsgraph nach Finkels Methode

Erweiterungen und Änderungen gibt es in der Menüführung und z.B. bei der Pfadberechnung und der Graphanalyse. Auch intern wurden Veränderungen vorgenommen.

Zum Verständnis des Programms ist eine gewisse Kenntnis der Netztheorie, mindestens ihrer grundlegenden Definitionen notwendig. Wir verweisen dazu auf das Buch ,,Analyse von Petri-Netz-Modellen`` erschienen 1990 in der Reihe ,,Leitfäden und Monographien der Informatik`` beim B. G. Teubner Verlag in Stuttgart [Sta90]. Darin sind auch viele der in INA implementierten Algorithmen näher beschrieben.

Für Fehler in diesem Handbuch oder im Programm wird keine Haftung übernommen.

Berlin im April 1997

Peter H. Starke und Stephan Roch