Modellierung 2024 - Workshopband

Auflistung nach:

1 - 1 von 1

Konferenzbeitrag
Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten
(Modellierung 2024 Satellite Events, 2024) Bergenthum, Robin; Kovář, Jakub; Lueg, Nico
Petrinetze haben eine formale Semantik und eine einfache graphische Repräsentation. Mit Petrinetzen können wir Abhängigkeiten und Nebenläufigkeiten zwischen Aufgaben innerhalb von realen Systemen problemadäquat modellieren. Trotzdem ist das Modellieren verteilter Systeme eine schwierige und fehleranfällige Aufgabe. Das Blindenhund-Werkzeug ist ein Prototyp, der einen Ansatz für die Autokorrektur von Petrinetzen implementiert. Um ein Petrinetz zu reparieren, benötigen wir neben dem Modell eine Spezifikation des gewünschten Verhaltens. Das Blindenhund-Werkzeug kann die gewünschte Sprache in Form eines Event Logs oder als Spezifikation aus halbgeordneteten Beispielabläufen importieren. Modellieren wir gegen solch eine Spezifikation und ist das Modell nicht in der Lage die Spezifikation auszuführen, bekommen wir durch unser Blindenhund-Werkzeug einen Hinweis auf den Fehler und eine Liste von möglichen Reparaturvorschlägen. Damit kann das Blindenhund-Werkzeug Petrinetze reparieren, angehenden Modellierern die Semantik der Petrinetze interaktiv näherbringen und dabei verschiedene Reparaturvorschläge bewerten. Das Blindenhund-Werkzeug und einen zugehörigen Screencast gibt es auf der Internetseite www.fernuni-hagen.de/ilovepetrinets/guidedog.