Algorithms & Theories for the Analysis of Event Data (ATAED) 2015

From art
Jump to: navigation, search

Unbenannt.PNG


The workshop Algorithms & Theories for the Analysis of Event Data (ATAED'2015) is a satellite event of both the 36th International Conference on Application and Theory of Petri Nets and Concurrency (Petri nets 2015) and the 14th International Conference on Application of Concurrency to System Design (ACSD 2015). The workshop aims to attract papers related to Process Mining, Region Theory and other synthesis techniques. These techniques have in common that "lower level" behavioral descriptions (event logs, partial orders, transition systems, etc.) are used to create "higher level" process models (e.g., various classes of Petri nets, BPMN, or UML activity diagrams).

Recent developments in process mining make it possible to analyze event data, thereby focusing on behavior rather than correlations and simplistic performance indicators. For example, event logs can be used to automatically learn end-to-end process models based on historic event data. Next to the automated discovery of the real underlying process, there are process mining techniques to analyze bottlenecks, to uncover hidden inefficiencies, to check compliance, to explain deviations, to predict performance, and to guide users towards "better" processes. ATAED'2015 solicits papers related to process mining algorithms and theories. However, the scope is not limited to this. On the one hand, other types of "lower level" behavioral descriptions may be used (next to event logs), e.g., transition systems, partially ordered runs, sequence charts, and markov chains. On the other hand, also related problems (next to process mining) may be addressed, e.g., hardware synthesis, visualization of concurrent system behavior, synthesis of controllers, analysis of biological (membrane) systems, etc. These are all within the scope. The idea is always the same: Going from "lower level" behavioral descriptions to "higher level" process models.

The program committee invites submission of full papers (up to 15 pages) and of short papers (up to 5 pages). Papers should be submitted as pdf-files using the Springer LNCS-format (http://www.springer.de/comp/lncs/authors.html).

Papers need to be submitted via Easychair.

Preliminary version of our program

Monday - June, 22nd

15.30 - 16.00 Opening

16.00 - 16.30 Kamila Barylska, Eike Best, Evgeny Erofeev, Lukacs Mikulski, Marcin Piatkowski On binary words being Petri net solvable

16.30 - 17.00 Andrey Mokhov, Josep Carmona Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data

17.00 - 17.30 Timo Sztyler, Johanna Völker, Josep Carmona, Oliver Meier, Heiner Stuckenschmidt Discovery of Personal Processes from Labeled Sensor Data -- An Application of Process Mining to Personalized Health Care


Feel free to join us at Moeder Lambic Fontainas at 20.00


Tuesday - June, 23nd

09.00 - 10.00 [Invited talk ATAED] Eike Best Synthesis of Diamonds

10.00 - 10.30 Sebastiaan J. van Zelst, Boudewijn Van Dongen, Wil van der Aalst ILP-Based Process Discovery Using Hybrid Regions

Coffee break

11.00 - 11.30 Robin Bergenthum, Thomas Irgang, Benjamin Meis Folding Example Runs to a Workflow Net

11.30 - 12.00 Borja Vázquez-Barreiros, Manuel Mucientes, Manuel Lama Mining Duplicate Tasks from Discovered Processes

12.00 - 12.30 Joel Ribeiro, Josep Carmona A Method For Assessing Parameter Impact on Control-Flow Discovery Algorithms

Lunch break

14.00 - 15.00 [Invited talk PNSE] Nicolas Guelfi Software Engineering and Modeling Education: Problems and Solutions

15.00 - 15.30 Antonia Azzini, Paolo Ceravolo, Ernesto Damiani ,Francesco Zavatartelli Knowledge Driven Behavioural Analysis in Process Intelligence

Coffee break

16.00 - 16.30 Robin Bergenthum Compact Regions for Place/Transition Nets

16.30 - 17.00 Likewin Thomas, Manoj Kumar M V, Annappa B, Vishwanath K P An Optimal Process Model for a Real Time Process

17.00 - 17.30 Manoj Kumar M V, Likewin Thomas, Annappa B Capturing the Sudden Concept Drift in Process Mining

Topics

Possible topics of the solicited papers are:

  • theory and applications of region theory and process mining
  • automated business process model discovery
  • conformance checking, alignments, and replay algorithms
  • business process intelligence and other date-driven process oriented approaches
  • techniques combining formal methods with data science approaches
  • algorithms, theories, and tools for region theory and other forms of synthesis
  • case studies and empirical investigations using event data

Important Dates

  • Deadline for papers: May 10, 2015 May 17, 2015
  • Notification of paper acceptance: June 1, 2015 June 4, 2015
  • Deadline for final contributions: June 10, 2015 June 14, 2015
  • Workshop: June 22-23, 2015

Program Committee

  • Wil van der Aalst,TU Eindhoven, The Netherlands (co-chair)
  • Rafael Accorsi, Universitaet Freiburg, Germany
  • Eric Badouel, INRIA Rennes, France
  • Robin Bergenthum, FernUni Hagen, Germany (co-chair)
  • Luca Bernardinello, Università degli studi di Milano-Bicocca, Italy
  • Seppe vanden Broucke, KU Leuven, Belgium
  • Benoît Caillaud, INRIA Rennes, France
  • Toon Calders, Université Libre de Bruxelles, Belgium
  • Josep Carmona, UPC Barcelona, Spain (co-chair)
  • Paolo Ceravolo, University of Milan, Italy
  • Benoît Depaire, Hasselt University, Belgium
  • Jörg Desel, FernUni Hagen, Germany
  • Boudewijn van Dongen, TU Eindhoven, The Netherlands
  • Luciano García-Bañuelos, University of Tartu, Estonia
  • Luís Gomes, Universidade Nova de Lisboa, Portugal
  • Gabriel Juhás, Slovak University of Technology, Slovak Republic
  • Anna Kalenkova, Higher School of Economics NRU, Russia
  • Jetty Kleijn, Leiden University, The Netherlands
  • Robert Lorenz, Uni Augsburg, Germany
  • Zbigniew Paszkiewicz, PricewaterhouseCoopers, Belgium
  • Marta Pietkiewicz-Koutny, Newcastle University, GB
  • Grzegorz Rozenberg, Leiden University, The Netherlands
  • Marcos Sepúlveda, Universidad Catolica de Chile, Chile
  • Jianmin Wang, Tsinghua University, China
  • Jochen De Weerdt, KU Leuven, Belgium
  • Alex Yakovlev, Newcastle University, GB

Presentations

  • will be added

History of the workshop

The workshop can be viewed as a succession of the Applications of Region Theory (ART) workshop series:

  • Applications of Region Theory (ART) 2013, Barcelona, Spain
  • Applications of Region Theory (ART) 2011, Newcastle upon Tyne, UK
  • Applications of Region Theory (ART) 2010, Braga, Portugal

Regions have been defined about 20 years ago by Ehrenfeucht and Rozenberg as sets of nodes of a finite transition system that correspond to potential conditions that enable or disable transition occurrences in a corresponding elementary net system. Initially, region theory focused on synthesis approaches where the transition system and resulting Petri net are equivalent (e.g., bisimilar). In recent years, various forms of region-based ideas (language-based and state-based variants) have been applied in the context of process mining. Here, there is only example behavior and, as a result, classical techniques fail to work. One needs to deal with new problems such as noise and incompleteness. Hence, there are many theoretical challenges with a high practical relevance. This workshop is not limited to region-based approaches. In fact all techniques that aim at learning or checking concurrent behavior from transition systems, runs, or event logs are welcome. The workshop is supported by the IEEE Task Force on Process Mining.