Program of ATAED 2017

ATAED’2017

Monday, 26 June 2017

13:45-14:45 Invited Lecture 1 – ClassRoom A.01 (Ground Floor)

  • Thomas Hildebrandt. Modelling & Mining Event-based Concurrent Declarative Processes as Dynamic Condition Response Graphs

14:45-15:15 Coffee Break

15:15-16:45 Session 1 – ClassRoom A.12 (First Floor)

  • Sebastiaan J. van Zelst, Alfredo Bolt and Boudewijn F. van Dongen. Tuning Alignment Computation: An Experimental Evaluation.
  • Robert Lorenz, Johannes Metzger and Lev Sorokin. Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations.
  • Evgeny Erofeev and Harro Wimmel. Reachability Graphs of Two-Transition Petri Nets.

16:45-17:15 Coffee Break

17:15-18:15 Invited Lecture 2 ClassRoom A.01 (Ground Floor)

  • Julia Padberg. Verification of Reconfigurable Petri Nets

 

Tuesday, 27 June 2017

09:15-10:15 Invited Lecture 3 – ClassRoom A.01 (Ground Floor)

  • José-Ángel Bañares. Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications

10:15-10:45 Coffee Break

10:45-11:45 Session 2 – ClassRoom A.12 (First Floor)

  • Krysztof Lecki, Jerzy Tyszkiewicz and Jacek Sroka. Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems.
  • Robin Bergenthum and Benjamin Meis. Mining with Eve – Process Discovery and Event Structures.

11:45-12:45 Session 3 – ClassRoom A.12 (First Floor)

  • Ryszard Janicki, Jetty Kleijn, Maciej Koutny and Lukasz Mikulski.On Synthesising Step Alphabets for Acyclic Invariant Structures.
  • Luca Bernardinello, Carlo Ferigato, Lucia Pomello and Adrián Puerto Aubel. On Stability of Regional Orthomodular Posets.

12:45-14:15 Lunch

14:15-15:15 Session 4 – ClassRoom A.12 (First Floor)

  • Benjamin Dalmas, Niek Tax and Sylvie Norre. Heuristics for High-Utility Local Process Model Mining.
  • Valentin Spreckels and Uli Schlachter. Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets.

15:15-15:45 Coffee Break

15:45-16:45 Session 5 – ClassRoom A.12 (First Floor)

  • Ernesto Lopez-Mellado and Tonatiuh Flores-Tapia. Refining Discovered Petri Nets by Sequencing Repetitive Components.
  • Markus Huber and Matthias Wolff. Segmenting Sequences Semantically. Using Petri Net Transducers for the Translation from Sequential Data into Non-Sequential Models.
  • Sergio Hernández, Pedro Álvarez, Javier Fabra and Joaquín Ezpeleta. Using model checking to identify customers’ purchasing behaviour in an e-commerce.

16:45-17:00 Closing Session – ClassRoom A.12 (First Floor)