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