Ebook: Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollständigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterstützen, bzw. einen graphischen Editor zur Netzkonstruktion aufweisen. Klassifikation und Bewertung der Merkmale erfolgten mittels eines speziellen Beschreibungskatalogs. Dabei wird erstmals versucht, die wichtigsten Klassen von Petri-Netzen zu bestimmen. Der zweite Teil des Berichts beschreibt informell (an Hand eines Beispiels) und formal (Definition der verwendeten Netzklassen und aller darauf realisierten Analyseverfahren) das Petri-Netz-Werkzeug PROVER (PRedicate/Transition Net Oriented VERification System). Neben einer Bestandsaufnahme von Petri-Netz-Werkzeugen werden im Buch formale Spezifikationsverfahren mit höheren Petri-Netzen in der Anwendung gezeigt, um einen formalen Zugang zu ermöglichen.

---

Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollst?ndigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterst?tzen, bzw. einen graphischen Editor zur Netzkonstruktion aufweisen. Klassifikation und Bewertung der Merkmale erfolgten mittels eines speziellen Beschreibungskatalogs. Dabei wird erstmals versucht, die wichtigsten Klassen von Petri-Netzen zu bestimmen. Der zweite Teil des Berichts beschreibt informell (an Hand eines Beispiels) und formal (Definition der verwendeten Netzklassen und aller darauf realisierten Analyseverfahren) das Petri-Netz-Werkzeug PROVER (PRedicate/Transition Net Oriented VERification System). Neben einer Bestandsaufnahme von Petri-Netz-Werkzeugen werden im Buch formale Spezifikationsverfahren mit h?heren Petri-Netzen in der Anwendung gezeigt, um einen formalen Zugang zu erm?glichen.

---

Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollst?ndigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterst?tzen, bzw. einen graphischen Editor zur Netzkonstruktion aufweisen. Klassifikation und Bewertung der Merkmale erfolgten mittels eines speziellen Beschreibungskatalogs. Dabei wird erstmals versucht, die wichtigsten Klassen von Petri-Netzen zu bestimmen. Der zweite Teil des Berichts beschreibt informell (an Hand eines Beispiels) und formal (Definition der verwendeten Netzklassen und aller darauf realisierten Analyseverfahren) das Petri-Netz-Werkzeug PROVER (PRedicate/Transition Net Oriented VERification System). Neben einer Bestandsaufnahme von Petri-Netz-Werkzeugen werden im Buch formale Spezifikationsverfahren mit h?heren Petri-Netzen in der Anwendung gezeigt, um einen formalen Zugang zu erm?glichen.
Content:
Front Matter....Pages I-XII
Einleitung....Pages 1-4
Eine Klassifikation Von Petri-Netz-Klassen....Pages 5-23
Eine Klassifikation Von Spezifikations- und Analysemethoden fr?r Petri-Netze....Pages 24-38
Klassifikation und Bewertung Existierender Petri-Netz-Werkzeuge....Pages 39-65
Auswahl Geeigneter Petri-Netz-Werkzeuge....Pages 66-72
Funktionalit?t und Benutzeroberfl?che des Petri-Netz-Werkzeuges ‘Prover‘....Pages 73-129
Ausblick....Pages 130-136
Anhang A: Prover-Online-Dokumentation....Pages 137-147
Anhang B: Syntax und Semantik der Spezifikationssprache ‘PDL‘ (Predicate/Transition Net Description Language)....Pages 148-170
Anhang C: Definition und Eigenschaften der Pr?dikat/Transitions-Netze....Pages 171-230
Back Matter....Pages 231-254

---

Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollst?ndigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterst?tzen, bzw. einen graphischen Editor zur Netzkonstruktion aufweisen. Klassifikation und Bewertung der Merkmale erfolgten mittels eines speziellen Beschreibungskatalogs. Dabei wird erstmals versucht, die wichtigsten Klassen von Petri-Netzen zu bestimmen. Der zweite Teil des Berichts beschreibt informell (an Hand eines Beispiels) und formal (Definition der verwendeten Netzklassen und aller darauf realisierten Analyseverfahren) das Petri-Netz-Werkzeug PROVER (PRedicate/Transition Net Oriented VERification System). Neben einer Bestandsaufnahme von Petri-Netz-Werkzeugen werden im Buch formale Spezifikationsverfahren mit h?heren Petri-Netzen in der Anwendung gezeigt, um einen formalen Zugang zu erm?glichen.
Content:
Front Matter....Pages I-XII
Einleitung....Pages 1-4
Eine Klassifikation Von Petri-Netz-Klassen....Pages 5-23
Eine Klassifikation Von Spezifikations- und Analysemethoden fr?r Petri-Netze....Pages 24-38
Klassifikation und Bewertung Existierender Petri-Netz-Werkzeuge....Pages 39-65
Auswahl Geeigneter Petri-Netz-Werkzeuge....Pages 66-72
Funktionalit?t und Benutzeroberfl?che des Petri-Netz-Werkzeuges ‘Prover‘....Pages 73-129
Ausblick....Pages 130-136
Anhang A: Prover-Online-Dokumentation....Pages 137-147
Anhang B: Syntax und Semantik der Spezifikationssprache ‘PDL‘ (Predicate/Transition Net Description Language)....Pages 148-170
Anhang C: Definition und Eigenschaften der Pr?dikat/Transitions-Netze....Pages 171-230
Back Matter....Pages 231-254
....