AWPN 2008 - Algorithmen und Werkzeuge für Petrinetze

Theorie der Programmiersprachen und Programmierung
	Theory of Programming Languages and Programming

	Universität Rostock \| Fakultät für Informatik und Elektrotechnik \| Institut für Informatik
	Start - Home \| Aktuelles - Announcements \| Lehre - Teaching \| Forschung - Research \| Mitarbeiter - Staff \| Kontakt - Contact

AWPN 2008
15. Workshop
Algorithmen und Werkzeuge für Petrinetze
26./27. September 2008
Universität Rostock

Übersicht und Aktuelles

Beiträge

Programm

Tagungsort

Anmeldung und Kontakt

Übersicht und Aktuelles

Workflow

Aktuelles

eine Wegbeschreibung zum Konzilzimmer ist online
die Beiträge wurden als CEUR-Workshop-Proceedings veröffentlicht
das (überarbeitete) Programm ist online
der Einsendeschluss wurde auf den 22. August 2008 verlegt

Einsendeschluss für Beiträge:	~~15. August 2008~~ 22. August 2008
Anmeldung:	15. September 2008
Workshop:	26./27. September 2008

Ziel

Wir wollen Entwickler und Anwender von Petrinetzbasierten Algorithmen und Werkzeugen zusammenzubringen und damit die Abstimmung zwischen Angebot und Nachfrage nach Petrinetzbasierter Technologie verbessern.

Der Workshop bietet Vorträge über Algorithmen, Werkzeuge, Fallstudien sowie Werkzeugdemonstrationen mit Bezug zu Petrinetzen oder verwandten Systemmodellen.

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

zurück zum Seitenanfang