Petri Nets Simulation as Active Content
Linus Heinzl und Anne Radunski
End-user Development Seminar
14.07.2019
---
# Motivation
- Graphischer Formalismus
- Darstellung von Systemübergängen
- Einfache Modellierung von räumlicher Verteilung der Ressourcen
Anwendungen:
- Modellierung von Organsisationsabläufen
- Prozessmodellierung bei Betriebssystemen
- Ablaufbeschreibung von Herstellungsverfahren
- ...
---
# Notation
---
# Schaltbedingungen
- Die Entfernung der Marken der Vorbedigung und Erzeugung der Marken der Nachbedingung nennt man Schalten bzw. Feuern der Transition
---
# Beispiel klassisches Petrinetz: Friseur
---
# Deadlock
- Bei Paralleler Programmierung: Zustand, in dem jedes Mitglied einer Gruppe darauf wartet, dass ein anderes Mitglied eine Aktion ausführt
- Systeme lassen sich mit Petrinetzen auf Deadlocks testen
- Vorhanden, wenn es eine erreichbare Markierung gibt, unter der keine Transition aktiviert ist
---
# Transitionen
#### Normale Transition:
#### Code Transition:
---
# Debugging
#### Menü:
#### Funktionalitäten:
- Petrinetz laufen lassen
- Zurückgehen und von dort aus neu simulieren
- Simulation laufen lassen bis zum nächsten Feuern
- Nutzersicht unterscheidet sich von implementierung
---
# Demo: Deadlock
---
# High-Level-Petrinetz
Bei dem „klassischen“ Petrinetzen treten oft Probleme auf:
- Modelle werden zu groß und komplex
- Modellierung ist langwierig und kompliziert
- Zeit, Kosten und Daten können nicht modelliert werden
---
# Beispiel High-Level-Petrinetz: Friseur
---
# Zusammenfassung
Gut möglich:
+ Einfache nebenläufige Prozesse modellieren
+ Mit Wahrscheinlichkeitstransitionen das Verhalten simulieren
+ Durch Debuggen das Petrinetz iterativ verändern
Schwieriger möglich:
- Komplizierte Regeln abbilden
- Wahrscheinlichkeitstransition nicht mächtig genug
- Codetransition nicht intuitiv für Nutzer
- Kompakte Petrinetze erstellen
- Benötigt Erweiterungen, zum Beispiel High-Level Petrinetze oder gewichtete Kanten
---
# Zusammenfassung
#### Original:
#### Unsere Version:
---
# Anforderungen und Ausblick
Was haben wir geschafft?
- [x] Komponenten von einem Petrinetz erstellen/ bewegen/ löschen
- [x] Petrinetz bearbeiten
- [x] Wahrscheinlichkeit für die Transition einbauen
- [x] Abspeichern von dem jeweiligen Petrinetz
- [x] Simulation
- [x] Petrinetz "debuggen"
- [x] Animation
Was kommt noch?
- [ ] High-Level Petrinetze
- [ ] Petrinetze in Dokumente einbauen
- [ ] Graphische Oberfläche verbessern (Text über den Buttons, Label veriable Größe)
---
Fragen?