posted by user: richardmueller || 1083 views || tracked by 4 users: [display]

AWPN 2012 : Algorithmen und Werkzeuge für Petrinetze

FacebookTwitterLinkedInGoogle

Link: http://emisa2012.univie.ac.at/index.php?t=cfpawpn
 
When Sep 13, 2012 - Sep 14, 2012
Where University Vienna, Austria
Submission Deadline Aug 13, 2012
Categories    petri nets   analysis   simulation   verification
 

Call For Papers

AWPN 2012: Algorithmen und Werkzeuge für Petrinetze
Algorithms and Tools for Petri Nets

The workshop focuses on theoretical issues for analysis and simulation of Petri nets models and on experiences with the implementation of visualization, analysis and simulation tools.
Actual results, tools and surveys can be shown. Emphasis of the meeting should be the exchange of experiences and discussion.

IMPORTANT DATES
• Paper submission deadline: 13. August 2012
• Workshop: 13.-14. September 2012
• Venue: University Vienna, Austria
• Registration for the workshop is possible until August 13, 2012 at awpn2012@fei.stuba.sk.
• Registration fee for the workshop is 60 Euros.

Topics of interest
• Decision algorithms for dynamic properties
• State space reduction
• Temporal logic and model checking
• Analysis with algebraic and linear-algebraic methods
• Simulation methods
• Data structures and algorithms in tools
• User interfaces and visualization
• Interfaces and (XML-) exchange formats for Petri net tools
• Case studies for validation of modeling techniques
• Software engineering and workflow management systems
• Petri net related models and methods

Submission and Presentation
Results can be presented by means of presentations and of tool demonstrations. A selection process takes place, but the contributions are only checked for relevance and for compliance with minimum standards for scientific publications.

Please send your submission in PDF format (A4) without page numbers, headers and footers. Please use the Springer LNCS style (http://www.springer.com/comp/lncs/Authors.html). Papers should be approximately 6 pages long. Contributions may be written in English or German. Contributions will be published as Workshop Proceedings. The final submission send to awpn2012@fei.stuba.sk.

The presentations (without discussion) should not exceed a length of 20 minutes. The conference languages are German and English. A Projector and a PC are available.

Contact
Organizers
Fachgruppe "Petrinetze und verwandte Systemmodelle" der Gesellschaft für Informatik, Bonn, Germany
Faculty of Electrical Engineering and Information Technology, Slovak University of Technology Bratislava, Slovakia
FernUniversität in Hagen, Germany
Universität Wien, Austria

Organizer - Address
Gabriel Juhás
FEI STU
Ilkovičova 3
812 19 Bratislava
Slovakia

Organization

Program Co-Chairs
• Gabriel Juhás
• Stefanie Rinderle-Ma
• Jörg Desel

Program Committee
• Jörg Desel
• Gabriel Juhás
• Ekkart Kindler
• Kurt Lautenbach
• Robert Lorenz
• Daniel Moldt
• Stefanie Rinderle-Ma
• Rüdiger Valk
• Karsten Wolf

Local Organization
• Martin Foltin
• Igor Kazlov
• Andrej Savka
• Zuzana Ševčíková

Requests
Please contact the AWPN team at awpn2012@fei.stuba.sk.

Related Resources

MBMV 2015   18. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
ICCMS 2015   2015 6th International Conference on Computer Modeling and Simulation
MUC 2014   Blended Interaction - neue Techniken für Interaktive Displays in kollaborativen Szenarien
IJCCMS 2014   International Journal of Chaos, Control, Modelling and Simulation
WInTeSys 2015   Wissenschafts- und Industrieforum Intelligente Technische Systeme
ICCS 2015   International Conference on Computational Science
Marktplätze im Umbruch 2014   Marktplätze im Umbruch - Digitale Strategien und das Zusammenwachsen von Shop, Online-Business sowie Services im Mobilen Internet
SpringSim 2015   Spring Simulation Multi-Conference 2015
CPSData 2014   CPSData - Big Data Technologien zur Analyse und Steuerung komplexer cyber-physischer Systeme
E&S 2015   Energie und Sicherheit