Accepted papers

• Robin Bergenthum, Johannes Metzger, Lev Sorokin, Robert Lorenz: Towards Compact Regions for Labeled Prime Event Structures
• Vera O. Ermakova, Irina A. Lomazova: Nested Petri Nets Using an Unfolding Approach
• Mustafa Ghani: Petrixx - Petri Nets for OMILAB based on ADOxx
• Anna Gogolinska, Wiesław Nowak: OPOA - a Petri Net Generation Algorithm for Molecular Dynamics Analysis
• Ekkart Kindler: ePNK Applications and Annotations: A Simulator for YAWL Nets
• Sebastian Mauser, Tobias Eggendorfer: Detecting Security Attacks by Process Mining
• Juraj Mažári, Gabriel Juhás, Milan Mladoniczky, Tomáš Gažo, Martin Makán: Netgrif Workflow Management System based on Petriflow language
• Milan Mladoniczky, Gabriel Juhás, Juraj Mažári, Tomáš Gažo, Martin Makán: Petriflow: Rapid language for modelling Petri nets with roles and data fields
• Daniel Moldt, Jan Henrik Röwekamp, Michael Simon: A Simple Prototype of Distributed Execution of Reference Nets Based on Virtual Machines
• David Mosteller, Michael Haustermann, Daniel Moldt: Prototypical Graphical Simulation Feedback in Reference Net-Based Domain-Specific Languages within a Meta-Modeling Environment