Interactive process mining
Dixit, P. A. M. (2019). Interactive process mining Eindhoven: Technische Universiteit Eindhoven
Tag: Eric Verbeek
- Eric Verbeek - Eric is the scientific programmer in the PA group. As such, he is the custodian of the process mining framework ProM. In you want access to the ProM repository, or have any questions related to ProM and its development, as Eric. Recently, he has been working on a decomposition framework for both process discovery as Read More ...
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 …
ProM Development, landscape, and release
Download as PDF
Log Skeletons: A log visualizer and classifier
Download as PDF
Block Layout for (accepting) Petri nets
Download as PDF
DrFurby Classifier
Download as PDF
Divide and Conquer
Download as PDF
Decomposed Discovery
Download as PDF
Distributed discovery and replay
Download as PPTX
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 …
Eric Verbeek
Eric is the scientific programmer in the PA group. As such, he is the custodian of the process mining framework ProM. In you want access to the ProM repository, or have any questions related to ProM and its development, as Eric. Recently, he has been working on a decomposition framework for both process discovery as 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 …