AWPN 2012: Algorithmen und Werkzeuge für Petrinetze - Algorithms and Tools for Petri Nets
takes this year place in Vienna, together with the conferences EMISA and BPMN. (http://emisa2012.univie.ac.at/) 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 . Workshop: 13.-14. September 2012 . Venue: University Vienna, Austria . 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 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 . Heinrich Mayr . Peter Kemper . Hagen Völzer . Dirk Fahland Requests Please contact the AWPN team at [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] ]]
