HINWEIS: Diese Seiten sind veraltet. Bitte erwägen Sie, auf die Seiten des Nachfolgesystems DEViL zu wechseln.
Petrinetze dienen zur Modellierung von Abläufen. Ein Petrinetz ist ein bipartiter Graph, dessen Knoten Stellen und Transitionen heißen. Stellen und Transitionen können durch gerichtete Kanten miteinander verbunden werden. Stellen werden durch Kreise dargestellt und können eine bestimmte Anzahl sogenannter Marken, sowie eine Kapazität besitzen. Transitionen werden durch ein flaches Rechteck dargestellt. Ihnen kann ein bestimmtes Gewicht zugeordnet werden.
Wir benutzen Petrinetze, um durch dieses sehr einfache Beispiel einen Überblick über die Spezifikationsmethode zu geben. Daher haben wird auch Marken, Kapazitäten und Gewichte nicht in die Spezifikation aufgenommen.
Übersicht über den generierten Editor
VL-Eli-Spezifikation