Programme

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