+------------------------------------ CALL FOR PAPERS
-------------------------------------------------------+
|
|
| 17. Workshop ALGORITHMEN UND WERKZEUGE FÜR PETRINETZE |
|
|
+------------------------- 07. und 08. Oktober 2010 in Cottbus
----------------------------------------+
Liebe Petrinetzfreunde,
der Workshop AWPN findet dieses Jahr in Cottbus statt.
Termine:
--------
Einsendeschluss für lange Beiträge: 1. August
2010
Einsendeschluss für kurze Beiträge: 1. September 2010
Anmeldung: 15.
September 2010
Workshop: 07./08.
Oktober 2010
Ausrichtung:
------------
Veranstalter: Fachgruppe "Petrinetze und verwandte Systemmodelle" der GI
Ausrichter: Monika Heiner
Brandenburgische Technische Univeristät Cottbus
Walther-Pauer-Str. 2
03046 Cottbus
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 1. August 2010 eingereicht werden.
Er wird nach gängigen Standards begutachtet, wobei das Programmkomitee
identisch ist mit dem Steering-Committee erweitert um den Ausrichter.
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 1. September 2010 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 Martin
Schwarick ([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 BTU Cottbus 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://www-dssz.informatik.tu-cottbus.de/AWPN2010 (in Vorbereitung)
Viele Grüße aus Cottbus,
Martin Schwarick
----
[[ 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]
]]
----
[[ 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] ]]
