Dear Colleagues,
below, find the first call for papers of the 14th workshop on algorithms
and tools for Petri nets which will take place in Koblenz, Germany, in
September '07. As the official workshop language is German, the CFP is
written in German, too. Nevertheless, English contributions are welcome!
********************************************************************
* *
* Einladung und CFP für den 14. Workshop *
* *
* Algorithmen und Werkzeuge für Petrinetze (AWPN) *
* *
* der GI-Fachgruppe *
* *
* 'Petrinetze und verwandte Systemmodelle' *
* *
* 20. - 21. September 2007, Universität in Koblenz *
* *
********************************************************************
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.
Themen (mit Bezug zu Petrinetzen):
----------------------------------
- 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
Organisation:
-------------
- Jörg Desel (Katholische Universität Eichstätt-Ingolstadt)
- Gabriel Juhás (Katholische Universität Eichstätt-Ingolstadt)
- Ekkart Kindler (Universität Paderborn)
- Peter Kemper (Universität Dortmund)
- Kurt Lautenbach (Universität Koblenz-Landau)
- Karsten Wolf (Universität Rostock)
- Rüdiger Valk (Universität Hamburg)
Beiträge und Anmeldung:
-----------------------
Ergebnisse können in Form von Vorträgen und Werkzeugdemonstrationen
präsentiert werden. Ein Auswahlverfahren findet nicht statt, die
eingegangenen Beiträge werden lediglich auf thematische Eignung hin
überprüft. Schriftliche Ausarbeitungen (max. 6 Seiten) können bis zum
15.08.2007 geschickt werden an:
Alexander Pinl
E-Mail: [EMAIL PROTECTED]
Die Beiträge werden in einem Forschungsbericht des Instituts für
Softwaretechnik der Universität in Koblenz veröffentlicht, den alle
Teilnehmer erhalten. Beiträge können in englischer oder deutscher
Sprache verfasst sein. Werkzeugpräsentationen können ebenfalls bis zum
15.08.2007 angemeldet werden.
Anmeldung:
----------
Eine Anmeldung zum Workshop ist bis zum 14. September 2007 bei Alexander
Pinl möglich. Die Teilnahme am Workshop ist kostenlos.
Weitere Informationen:
----------------------
Informationen im WWW unter http://www.uni-koblenz.de/~ag-pn/html/awpn2007
Mit besten Grüßen,
Alexander Pinl
Universität Koblenz-Landau
Institut für Softwaretechnik
AG Lautenbach
http://www.uni-koblenz.de/~ag-pn
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
