Improving merging conditions for recomposing conformance checking

Lee, W. L. J., Munoz-Gama, J., Verbeek, H. M. W., van der Aalst, W. M. P., & Sepúlveda, M. (2019). Improving merging conditions for recomposing conformance checking. In F. Daniel, Q. Z. Sheng, & H. Motahari (Eds.), Business Process Management Workshops – BPM 2018 International Workshops, Revised Papers (pp. 31-43). (Lecture Notes in Business Information Read More …

Adding heuristics to the Block Layout

The Block Layout can be used to create a layout for a process graph. For this, it uses well-known Petri-net-based reduction rules to reduce the entire net into a single place. For nicely structured process graphs, this layout works quite well, but for more complex structured graphs, the resulting layout needs to be improved. Either Read More …

Run 10 of “Introduction to process mining with ProM” MOOC starts on April 1st, 2019

On April 1, 2019, the tenth run of the free FutureLearn online course ‘Introduction to process mining with ProM’ will start. Join the 13.000 students who enrolled before you and join the course now! Process mining is a novel collection of techniques that connects the areas of data science and business process management. Using process Read More …

Incremental computation of synthesis rules for free-choice Petri nets

Dixit, Prabhakar M., Verbeek, H.M.W. & van der Aalst, Wil M.P. (2018). Incremental computation of synthesis rules for free-choice Petri nets. In Peter Csaba Ölveczky & Kyungmin Bae (Eds.), Formal Aspects of Component Software – 15th International Conference, FACS 2018, Proceedings (pp. 97-117). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence Read More …

Interactive data-driven process model construction

Dixit, P. M., Verbeek, H.M.W., Buijs, J. C.A.M. & van der Aalst, W. M.P. (2018). Interactive data-driven process model construction. In Xiaoyong Du, Guoliang Li, Zhanhuai Li, Juan C. Trujillo, Tok Wang Ling, Karen C. Davis & Mong Li Lee (Eds.), Conceptual Modeling – 37th International Conference, ER 2018, Proceedings (pp. 251-265). (Lecture Notes in Read More …

Fast incremental conformance analysis for interactive process discovery

Dixit, P.M., Buijs, J.C.A.M., Verbeek, H.M.W., & van der Aalst, W.M.P. (2018). Fast incremental conformance analysis for interactive process discovery. In W. Abramowicz & A. Paschke (Eds.), Business Information Systems – 21st International Conference, BIS 2018, Proceedings (pp. 163-175). (Lecture Notes in Business Information Processing, No. 320). Springer. Abstract Interactive process discovery allows users to Read More …

Recomposing conformance : Closing the circle on decomposed alignment-based conformance checking in process mining

Lee, Wai Lam Jonathan, Verbeek, H.M.W., Munoz-Gama, Jorge, van der Aalst, Wil M.P. & Sepúlveda, Marcos (2018). Recomposing conformance : Closing the circle on decomposed alignment-based conformance checking in process mining. Information Sciences, 466, 55-91. Abstract In the area of process mining, efficient conformance checking is one of the main challenges. Several process mining vendors Read More …

Optimal algorithms for compact linear layouts

Sonke, Willem, Verbeek, Kevin, Meulemans, Wouter, Verbeek, Eric & Speckmann, Bettina (2018). Optimal algorithms for compact linear layouts. Proceedings – 2018 IEEE Pacific Visualization Symposium, PacificVis 2018 (pp. 1-10). Brussels: IEEE Computer Society. Abstract Linear layouts are a simple and natural way to draw a graph: all vertices are placed on a single line and Read More …

Optimal algorithms for compact linear layouts

Meulemans, W., Sonke, W.M., Speckmann, B., Verbeek, H.M.W. & Verbeek, K.A.B. (2018). Optimal algorithms for compact linear layouts. Abstracts of the 34th European Workshop on Computational Geometry (EuroCG), 21-23 March 2018, Berlin, Germany (pp. 10:1-10:6). Abstract Linear layouts are a simple and natural way to draw a graph: all vertices are placed on a single Read More …

Visual analytics for soundness verification of process models

Garcia Caballero, Humberto S., Westenberg, Michel A., Verbeek, H.M.W. & van der Aalst, Wil M.P. (2018). Visual analytics for soundness verification of process models. In M. Weidlich & E. Teniente (Eds.), Business Process Management Workshops (pp. 744-756). (Lecture Notes in Business Information Processing, No. 308). Dordrecht: Springer Netherlands. Abstract Soundness validation of process models is Read More …

Discovering workflow nets using integer linear programming

van Zelst, S.J., van Dongen, B.F., van der Aalst, W.M.P. && Verbeek, H.M.W. (2018). Discovering workflow nets using integer linear programming. Computing, 100(5), 529-556. Abstract Process mining is concerned with the analysis, understanding and improvement of business processes. Process discovery, i.e. discovering a process model based on an event log, is considered the most challenging Read More …

BPR4GDPR

Business Process Re-engineering for General Data Protection Regulation Description The goal of BPR4GDPR is to provide a holistic framework able to support end-to-end GDPR-compliant intra- and interorganisational ICT-enabled processes at various scales, while also being generic enough, fulfilling operational requirements covering diverse application domains. To this end, proposed solutions will have a strong semantic foundation Read More …

Philips Flagship

Description The Data Science Centre Eindhoven (DSC/e) is TU/e’s response to the growing volume and importance of data and the need for data & process scientists (http://www.tue.nl/dsce/). The DSC/e has recently started a long-term strategic cooperation with Philips Research Eindhoven on three topics: data science, health and lighting. As a first concrete action, 70 PhD Read More …

Publications in 2017

Article Scientific peer reviewed Arriagada-Benítez, M., Sepúlveda, M., Munoz-Gama, J. & Buijs, J.C.A.M. (2017). Strategies to automatically derive a process model from a configurable process model based on event data. Applied Sciences, 7(10):1023. Bolt, A., de Leoni, M. & van der Aalst, W.M.P. (2017). Process variant comparison: using event logs to detect differences in behavior Read More …

Publications in 2016

Article Scientific peer reviewed Van Der Aa, Han, Leopold, H. & Reijers, H.A. (2016). Dealing with behavioral ambiguity in textual process descriptions. Lecture notes in computer science, 9850, 271-288. Scopus. van der Aa, J.H., Reijers, H.A. & Vanderfeesten, I.T.P. (2016). Designing like a pro : the automated composition of workflow activities. Computers in Industry, 75, Read More …

Publications in 2015

Article Scientific peer reviewed Adriansyah, Arya, Munoz Gama, Jorge, Carmona, J., van Dongen, Boudewijn & van der Aalst, Wil (2015). Measuring precision of modeled behavior. Information Systems and e-Business Management, 13(1), 37-67. Claes, Jan, Vanderfeesten, Irene, Pinggera, J., Reijers, Hajo, Weber, B. & Poels, G. (2015). A visual analysis of the process of process modeling. Read More …