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

  • der Einsendeschluss wurde auf den 22. August 2008 verlegt
  • eine grober Zeitplan ist hier zusammengestellt

Daten

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

 

Grafik zurück zum Seitenanfang 
Impressum