 |
|||||||||||||||
|
|||||||||||||||
|
|
|
|||||||||||||
|
|
AWPN 2007
Algorithmen und Werkzeuge für Petrinetze 20.-21. September 2007 Universität Koblenz-Landau Campus Koblenz | |||||||||||||
| Start | Beiträge | Programm | Anreise, Unterkunft | Infos, Kontakt |
Thematische Ausrichtung
Der Workshop konzentriert sich auf Fragestellungen zur Analyse und Simulation von Petrinetz-Modellen sowie auf Erfahrungen mit der Implementierung von Analyse-, Simulations- und Visualisierungswerkzeugen. Aktuelle Ergebnisse, Werkzeuge und auch Überblicke können vorgestellt werden. Einen Schwerpunkt des Treffens bilden der Erfahrungsaustausch und die Diskussion.Neben Vorträgen wird es wie gewohnt wieder die Möglichkeit zu Tool-Präsentationen geben.
Inhaltliche Schwerpunkte
- Entscheidungsalgorithmen für dynamische Eigenschaften
- Zustandsraumreduktion
- Temporale Logik und Model-Checking
- Analyse mit algebraischen und linear-algebraischen Methoden
- Simulationsverfahren
- Datenstrukturen und Algorithmen in Werkzeugen
- Benutzungsschnittstellen und Visualisierung
- Schnittstellen und (XML-) Austauschformate für Petrinetzwerkzeuge
- Fallstudien zur Validierung von Modellierungstechniken
- Software-Engineering- und Workflow-Managementwerkzeuge
- Mit Petrinetzen verwandte Modelle und Methoden
Editor: Alexander Pinl - last update: 03.05.2007