Online Prediction of Aggregated Retailer Consumer Behaviour

Spenrath, Y., Hassani, M., & van Dongen, B. F. (2022). Online Prediction of Aggregated Retailer Consumer Behaviour. In J. Munoz-Gama, & X. Lu (Eds.), Process Mining Workshops – ICPM 2021 International Workshops, Revised Selected Papers (pp. 211-223). (Lecture Notes in Business Information Processing; Vol. 433 LNBIP). Springer. https://doi.org/10.1007/978-3-030-98581-3_16 Abstract Predicting the behaviour of consumers provides valuable Read More …

BitBooster: Effective Approximation of Distance Metrics via Binary Operations

Spenrath, Y., Hassani, M., & Van Dongen, B. F. (2022). BitBooster: Effective Approximation of Distance Metrics via Binary Operations. In H. Va Leong, S. S. Sarvestani, Y. Teranishi, A. Cuzzocrea, H. Kashiwazaki, D. Towey, J-J. Yang, & H. Shahriar (Eds.), Proceedings – 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022 (pp. 201-210). Read More …

Defining Meaningful Local Process Models

Brunings, M., Fahland, D., & van Dongen, B. (2022). Defining Meaningful Local Process Models. In M. Koutny, F. Kordon, & D. Moldt (Eds.), Transactions on Petri Nets and Other Models of Concurrency XVI (pp. 24-48). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13220 LNCS). Read More …

Efficient Memory Utilization in Conformance Checking of Process Event Streams

Zaman, R., Hassani, M., & van Dongen, B. F. (2022). Efficient Memory Utilization in Conformance Checking of Process Event Streams. 437-440. https://doi.org/10.1145/3477314.3507217 Abstract Conformance checking (CC) techniques of the process mining field gauge the conformance of the events constituting a case with respect to a business process model. Online conformance checking (OCC) techniques assess such Read More …

Foundations of Process Mining (2AMI10) 2022

Data science is the profession of the future, because organizations that are unable to use (big) data in a smart way will not survive. It is not sufficient to focus on data storage and data analysis. The data scientist also needs to relate data to process analysis. Process mining bridges the gap between traditional model-based Read More …

Capita Selecta Process Analytics (2IMI05) 2022

This course can only be followed by permission of the responsible lecturer. People interested in the ‘process side’ of information systems can take the course ‘Capita selecta architecture of information systems’. This course will be organized in an ad-hoc manner taking into account the interests of the student. The focus will always be on a Read More …

Conformance Checking: A Systemic View

Dongen, B. F. V. (2022). Conformance Checking: A Systemic View. In A. Marrella, & B. Weber (Eds.), Business Process Management Workshops – BPM 2021 International Workshops, Revised Selected Papers (pp. 61-72). (Lecture Notes in Business Information Processing; Vol. 436 LNBIP). https://doi.org/10.1007/978-3-030-94343-1_5 Abstract Within the field of process mining, conformance checking plays an important role. While Read More …

A Framework for Efficient Memory Utilization in Online Conformance Checking

Zaman, R., Hassani, M., & van Dongen, B. F. (2021). A Framework for Efficient Memory Utilization in Online Conformance Checking. arXiv.org. https://arxiv.org/pdf/2112.13640.pdf Abstract Conformance checking (CC) techniques of the process mining field gauge the conformance of the sequence of events in a case with respect to a business process model, which simply put is an Read More …

Conformance checking of mixed-paradigm process models

van Dongen, B. F., De Smedt, J., Di Ciccio, C., & Mendling, J. (2021). Conformance checking of mixed-paradigm process models. Information Systems, 102, [101685]. https://doi.org/10.1016/j.is.2020.101685 Abstract Mixed-paradigm process models integrate strengths of procedural and declarative representations like Petri nets and DECLARE. They are specifically interesting for process mining because they allow capturing complex behavior in Read More …

Prefix Imputation of Orphan Events in Event Stream Processing

Zaman, R., Hassani, M., & van Dongen, B. F. (2021). Prefix Imputation of Orphan Events in Event Stream Processing. Frontiers in Big Data, 4, [705243]. https://doi.org/10.3389/fdata.2021.705243 Abstract In the context of process mining, event logs consist of process instances called cases. Conformance checking is a process mining task that inspects whether a log file is Read More …

What Averages Do Not Tell – Predicting Real Life Processes with Sequential Deep Learning

Ketykó, I., Mannhardt, F., Hassani, M., & van Dongen, B. F. (2021). What Averages Do Not Tell – Predicting Real Life Processes with Sequential Deep Learning. CoRR, abs/2110.10225. https://arxiv.org/abs/2110.10225 Abstract Deep Learning is proven to be an effective tool for modeling sequential data as shown by the success in Natural Language, Computer Vision and Signal Read More …

Actionable Conformance Checking: From Intuitions to Code

Carmona, J., Weidlich, M., & Dongen, B. V. (2020). Actionable Conformance Checking: From Intuitions to Code. In R-D. Kutsche, & E. Zimányi (Eds.), Big Data Management and Analytics – 9th European Summer School, eBISS 2019, Revised Selected Papers (pp. 1-24). (Lecture Notes in Business Information Processing; Vol. 390). Springer. https://doi.org/10.1007/978-3-030-61627-4_1 Abstract Conformance checking is receiving Read More …

Detecting Privacy, Data and Control-Flow Deviations in Business Processes

Mozafari Mehr, A., Medeiros de Carvalho, R., & van Dongen, B. F. (2021). Detecting Privacy, Data and Control-Flow Deviations in Business Processes. In S. Nurcan, & A. Korthaus (Eds.), Intelligent Information Systems – CAiSE Forum 2021, Proceedings (pp. 82-91). (Lecture Notes in Business Information Processing; Vol. 424 LNBIP). Springer. https://doi.org/10.1007/978-3-030-79108-7_10 Abstract Existing access control mechanisms Read More …

Closing the process mining circle with CPN IDE

CPN Tools is a tool that is well-known in the Petri net community. CPN Tools provides a mature environment for constructing, simulating, and performing analysis of CPN (Coloured Petri Net) models. CPN Tools consists of an ML-based CPN simulator (the back-end), and a CPN editor (the front-end) that has been developed in the BETA programming Read More …

Scalable Discovery of Hybrid Process Models in a Cloud Computing Environment

Cheng, L., van Dongen, B. F., & van der Aalst, W. M. P. (2020). Scalable Discovery of Hybrid Process Models in a Cloud Computing Environment. IEEE Transactions on Services Computing, 13(2), 368-380. [8669858]. https://doi.org/10.1109/TSC.2019.2906203 Abstract Process descriptions are used to create products and deliver services. To lead better processes and services, the first step is Read More …

Enabling efficient process mining on large data sets: realizing an in-database process mining operator

Dijkman, R., Gao, J., Syamsiyah, A., van Dongen, B., Grefen, P., & ter Hofstede, A. (2020). Enabling efficient process mining on large data sets: realizing an in-database process mining operator. Distributed and Parallel Databases, 38(1), 227-253. https://doi.org/10.1007/s10619-019-07270-1 Abstract Process mining can be used to analyze business processes based on logs of their execution. These execution Read More …

Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

Bloemen, V., van Zelst, S., van der Aalst, W., van Dongen, B., & van de Pol, J. (Accepted/In press). Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones. Information Systems, 103, [101456]. https://doi.org/10.1016/j.is.2019.101456 Abstract Given a process model and an event log, conformance checking aims to relate the two together, e.g. to Read More …

Defining meaningful local process models

Brunings, M., Fahland, D., & van Dongen, B. (2020). Defining meaningful local process models. In W. van der Aalst, R. Bergenthum, & J. Carmona (Eds.), ATAED 2020 Algorithms & Theories for the Analysis of Event Data 2020: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2020: Satellite event Read More …

Data Minimisation as Privacy and Trust Instrument in Business Processes

Zaman, R., Hassani, M., & van Dongen, B. F. (Accepted/In press). Data Minimisation as Privacy and Trust Instrument in Business Processes. In Business Process Management Workshops (BPM 2020) Springer. Abstract Data is vital for almost all sorts of business processes and workflows. However, the possession of personal data of other beings bear consequences. Data is Read More …

Why did my Consumer Shop? Learning an Efficient Distance Metric for Retailer Transaction Data

Spenrath, Y., Hassani, M., van Dongen, B. F., & Tariq, H. Why did my Consumer Shop? Learning an Efficient Distance Metric for Retailer Transaction Data. In Y. Dong, D. Mladenic, & C. Saunders (Eds.), Machine Learning and Knowledge Discovery in Databases. Applied Data Science and Demo Track – European Conference, ECML PKDD 2020, Proceedings (pp. Read More …

Workflow mining bij GGZNHN (in Dutch)

GGZNHN is een specialistische ggz-instelling die behandelingen biedt aan mensen met ernstige psychiatrische aandoeningen[1]. Deze opdracht heeft betrekking op de groep mensen (volwassenen) die wordt aangemeld door de huisarts voor een ambulante ggz-behandeling.  Cliënten worden rechtstreeks via de huisarts aangemeld, via externe ketenpartners of via de aan GGZNHN verbonden basis-ggz (Amici).  Een ambulante behandeling wordt Read More …

2AMI10 Foundations of Process Mining

Data science is the profession of the future, because organizations that are unable to use (big) data in a smart way will not survive. It is not sufficient to focus on data storage and data analysis. The data scientist also needs to relate data to process analysis. Process mining bridges the gap between traditional model-based Read More …

Certif-AI

Certif-AI: Certification of production process quality through Artificial Intelligence Description Production processes can be made ‘smarter’ by exploiting the data streams that are generated by the machines that are used in production. In particular these data streams can be mined to build a model of the production process as it was really executed – as Read More …

A tour in process mining: from practice to algorithmic challenges

van der Aalst, W., Carmona, J., Chatain, T., & van Dongen, B. (2019). A tour in process mining: from practice to algorithmic challenges. In M. Koutny, L. Pomello, & L. M. Kristensen (Eds.), Transactions on Petri Nets and Other Models of Concurrency XIV (pp. 1-35). (Lecture Notes in Computer Science (including subseries Lecture Notes in Read More …

Conformance checking: relating processes and models, relating processes and models

Carmona, J., van Dongen, B., Solti, A., & Weidlich, M. (2018). Conformance checking: relating processes and models. Springer International Publishing Switzerland. https://doi.org/10.1007/978-3-319-99414-7 Abstract This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking interrelates the modelled and recorded behaviour of Read More …

Mercedes-Benz Customer Assistance Center in Maastricht

Mercedes-Benz are well recognized as industry leaders in luxury service and high quality products, pushing the meaning of automobile excellence to new boundaries. You can trace the timeline of Mercedes-Benz all the way back to 1885 when Karl Benz invented the first automobile – cementing Mercedes-Benz a place in history. We know what you’re thinking, Read More …

Computing alignments of event data and process models

van Zelst, S. J., Bolt, A., & van Dongen, B. F. (2018). Computing alignments of event data and process models. In M. Koutny, L. M. Kristensen, & W. Penczek (Eds.), Transactions on Petri Nets and Other Models of Concurrency XIII (pp. 1-26). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Read More …

Improving alignment computation using model-based preprocessing

Syamsiyah, A., & van Dongen, B. F. (2019). Improving alignment computation using model-based preprocessing. In Proceedings – 2019 International Conference on Process Mining, ICPM 2019 (pp. 73-80). [8786043] Piscataway: Institute of Electrical and Electronics Engineers. DOI: 10.1109/ICPM.2019.00021 Abstract Alignments are a fundamental approach in conformance checking to provide an explicit relation between traces of events Read More …

Efficiently computing alignments: algorithm and datastructures

van Dongen, B. F. (2019). Efficiently computing alignments: algorithm and datastructures. In F. Daniel, Q. Z. Sheng, & H. Motahari (Eds.), Business Process Management Workshops – BPM 2018 International Workshops, Revised Papers (pp. 44-55). (Lecture Notes in Business Information Processing; Vol. 342). Springer. DOI: 10.1007/978-3-030-11641-5_4 Abstract Conformance checking is considered to be anything where observed Read More …

Detecting behavioral design patterns from software execution data

Liu, C., van Dongen, B. F., Assy, N., & van der Aalst, W. M. P. (2019). Detecting behavioral design patterns from software execution data. In E. Damiani, G. Spanoudakis, & L. A. Maciaszek (Eds.), Evaluation of Novel Approaches to Software Engineering – 13th International Conference, ENASE 2018, Revised Selected Papers (pp. 137-164). (Communications in Computer Read More …

A general framework to identify software components from execution data

Liu, C., van Dongen, B. F., Assy, N., & van der Aalst, W. M. P. (2019). A general framework to identify software components from execution data. In G. Spanoudakis, E. Damiani, L. Maciaszek, & L. Maciaszek (Eds.), ENASE 2019 – Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering (pp. Read More …

Software architectural model discovery from execution data

Liu, C., van Dongen, B. F., Assy, N., & van der Aalst, W. M. P. (2018). Software architectural model discovery from execution data. In ENASE 2018 – Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (pp. 3-10) Abstract During the execution of software systems, many crashes and exceptions may Read More …

Online conformance checking: relating event streams to process models using prefix-alignments

van Zelst, S. J., Bolt Irondio, A. J., Hassani, M., van Dongen, B. F., & van der Aalst, W. M. P. (2019). Online conformance checking: relating event streams to process models using prefix-alignments. International Journal of Data Science and Analytics, 8(3), 269-284. DOI: 10.1007/s41060-017-0078-6 Abstract Companies often specify the intended behaviour of their business processes Read More …