ATAED 2017
Algorithms & Theories for the Analysis of Event Data 2017

Table of Contents

• Frontmatter
  
  

• Tuning Alignment Computation: An Experimental Evaluation 6-20
  Sebastiaan J. van Zelst, Alfredo Bolt, Boudewijn F. van Dongen
• Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations 21-38
  Robert Lorenz, Johannes Metzger, Lev Sorokin
• Reachability Graphs of Two-Transition Petri Nets 39-54
  Evgeny Erofeev, Harro Wimmel
• Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems 55-70
  Krysztof Łęcki, Jerzy Tyszkiewicz, Jacek Sroka
• Mining with Eve - Process Discovery and Event Structures 71-75
  Robin Bergenthum, Benjamin Meis
• On Synthesising Step Alphabets for Acyclic Invariant Structures 76-88
  Ryszard Janicki, Jetty Kleijn, Maciej Koutny. Łukasz Mikulski
• On Stability of Regional Orthomodular Posets 89-105
  Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
• Heuristics for High-Utility Local Process Model Mining 106-121
  Benjamin Dalmas, Niek Tax, Sylvie Norre
• Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets 122-130
  Uli Schlachter, Valentin Spreckels
• Refining Discovered Petri Nets by Sequencing Repetitive Components 131-138
  Ernesto López-Mellado, Tonatiuh Flores-Tapia
• Segmenting Sequences Semantically. Using Petri Net Transducers for the Translation from Sequential Data to Non-Sequential Models 139-157
  Markus Huber, Matthias Wolff
• Using Model Checking to Identify Customers Purchasing Behaviour in an E-Commerce 158-164
  Sergio Hernández, Pedro Álvarez, Javier Fabra, Joaquín Ezpeleta