+---------------- CALL FOR PAPERS ----------------------------------+
| |
| 16. Workshop ALGORITHMEN UND WERKZEUGE FÜR PETRINETZE |
| |
+------------ 25. und 26. September 2009 in Karlsruhe --------------+
Liebe Petrinetter,
der Workshop AWPN findet dieses Jahr in Karlsruhe statt.
Termine:
--------
Einsendeschluss für lange Beiträge: 15. Juli 2009
Einsendeschluss für kurze Beiträge: 15. August 2009
Anmeldung: 15. September 2009
Workshop: 25./26. September 2009
Ausrichtung:
------------
Veranstalter: Fachgruppe "Petrinetze und verwandte Systemmodelle" der GI
Ausrichter: Thomas Freytag
Duale Hochschule Baden-Württemberg
Erzbergerstr. 121
76133 Karlsruhe
Telefon: 0721-9735-937
Email: [email protected]
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
Beiträge:
---------
Ergebnisse können in Form von Vorträgen bzw. Werkzeugdemonstrationen
präsentiert
werden. Ein Beitrag kann als langer oder kurzer Beitrag eingereicht werden.
Die beiden Formen unterscheiden sich in ihrer Zielsetzung und im Verfahren.
Ein langer Beitrag beschreibt ein Ergebnis entsprechend üblicher Standards
für
Workshops. Er ist in englischer Sprache verfasst. Er umfasst nicht mehr als
15 Seiten und muss bis zum 15. Juli 2009 eingereicht werden. Er wird nach
gängigen Standards begutachtet, wobei das Programmkomitee identisch ist
mit dem Steering-Committee. Ausgewählte Langbeiträge können eingeladen
werden
für den LNCS-ToPNoC-Band zu den Workshops der Konferenz PETRI NETS 2010. Für
diesen Band findet eine weitere Begutachtung auf Zeitschriftenniveau statt,
wobei die Gutachten für AWPN berücksichtigt werden.
Ein kurzer Beitrag beschreibt eine Idee oder Work in Progress. Er ist in
deutscher oder englischer Sprache verfasst. Er umfasst nicht mehr als 6
Seiten
und muss bis zum 15. August 2009 eingereicht werden. Für kurze Beiträge
findet
kein Auswahlverfahren statt, aber die Beiträge werden auf Relevanz sowie die
Einhaltung eines wissenschaftlichen Mindeststandards hin geprüft.
Ausgewählte
Kurzbeiträge können nach dem Workshop in einer Ausgabe des Petri Net
Newsletter
veröffentlicht werden.
Schriftliche Ausarbeitungen und Werkzeugpräsentationen bitte an Thomas
Freytag
([email protected]) im PDF-Format (DIN A4) ohne Seitenzahlen oder
Kopf-/Fußzeilen schicken. Bitte dabei den Springer LNCS-Stil
(http://www.springer.com/comp/lncs/Authors.html) verwenden.
Die Beiträge werden als CEUR-WS-Proceedings veröffentlicht, die Teilnehmer
erhalten eine gedruckte Version in Form eines internen Forschungsberichts
der
Dualen Hochschule ausgehändigt.
Vorträge:
---------
Unabhängig von der Art des eingereichten Beitrages beträgt die Länge eines
Vortrages 20 Minuten, gefolgt von 10 Minuten Zeit für Diskussion. Die
Sprache
des Workshops ist deutsch, es sind aber auch Vorträge in englischer Sprache
willkommen. Overheadprojektor, Beamer und ein PC stehen zur Verfügung.
Steering Committee:
-------------------
* Jörg Desel (Stellvertreter)
* Ekkart Kindler
* Kurt Lautenbach
* Robert Lorenz
* Daniel Moldt
* Rüdiger Valk
* Karsten Wolf (Sprecher)
Webseite
--------
Die Webseite für den Workshop mit aktuellen und weitergehende Informationen
zur Einreichung, Anmeldung, Anreise und zum Programm verfügbar ist online
unter
http://woped2.dhbw-karlsruhe.de/awpn2009.
Viele Grüße aus Karlsruhe,
Für das Organisationskomitee
Thomas Freytag
----
[[ 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] ]]
