The little mermaid  
   DTU Logo

New

 Proceedings

Links

 Accepted papers

Programme

The workshop will be held in meeting room S02 of DTU meeting center in building 101 at the DTU Campus in Kgs. Lyngby (see here for the location on a map).

Thursday, October 19

1200–1300 Lunch
We will have lunch in the main student canteen in the wing of building 101 opposite to the DTU meeting center (see venue map). We meet in meeting room S02 and start walking to the canteen together from there shortly after 1200. If you come later, you can contact Ekkart Kindler (mobile number will be sent to participants) so that you can find the AWPN participants in the student canteen.
1300–1430 Session 1 (chaired by Gabriel Juhás)
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

1430–1500 Coffee break
1500–1715 Session 2 (chaired by Sebastian Mauser)
[ Mustafa Ghani: Petrixx - Petri Nets for OMILAB based on ADOxx ] cancelled

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

1715 Group meeting
Meeting of members of the GI SIG Petri Nets and Related System Models
1900 Workshop Dinner
The workshop dinner will be held in the Gordion Restaurant close to Lyngby S-train station: Ulrikkenborg Plads 10, 2800 Kongens Lyngby (see on Map).

Friday, October 20

 930–1145 Session 3 (chaired by Johannes Metzger)
Sebastian Mauser, Tobias Eggendorfer:
Detecting Security Attacks by Process Mining

David Mosteller, Michael Haustermann, Daniel Moldt:
Prototypical Graphical Simulation Feedback in Reference Net-Based Domain-Specific Languages within a Meta-Modeling Environment

Juraj Mažári, Gabriel Juhás, Milan Mladoniczky, Tomáš Gažo, Martin Makán:
Netgrif Workflow Management System based on Petriflow language

1145–1230 Lunch
1230–1400 Session 4 (chaired by Robin Bergenthum)
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

1400 Closing session and open-ended coffee break