English
Related papers

Related papers: PMSD: Data-Driven Simulation Using System Dynamics…

200 papers

Data-driven analysis of business processes has a long tradition in research. However, recently the term of process mining is mostly used when referring to data-driven process analysis. As a consequence, awareness for the many facets of…

Software Engineering · Computer Science 2025-12-25 Matthias Stierle , Karsten Kraume , Martin Matzner

We describe our experiences in using SPIN to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connected by Unix network sockets. MPD is dynamic: processes and…

Logic in Computer Science · Computer Science 2007-05-23 O. S. Matlin , E. Lusk , W. McCune

Process mining (PM) aims to construct, from event logs, process maps that can help discover, automate, improve, and monitor organizational processes. Robotic process automation (RPA) uses software robots to perform some tasks usually…

Software Engineering · Computer Science 2023-09-26 Najah Mary El-Gharib , Daniel Amyot

Molecular dynamics simulation is a proven technique for computing and visualizing the time-resolved motion of macromolecules at atomic resolution. The MDsrv is a tool that streams MD trajectories and displays them interactively in web…

Business process simulation is a versatile technique to estimate the performance of a process under multiple scenarios. This, in turn, allows analysts to compare alternative options to improve a business process. A common roadblock for…

Software Engineering · Computer Science 2020-03-30 Manuel Camargo , Marlon Dumas , Oscar González-Rojas

www.processmining-software.com is a dedicated website for process mining software comparison and was developed to give practitioners and researchers an overview of commercial tools available on the market. Based on literature review and…

Software Engineering · Computer Science 2021-02-05 Daniel Viner , Matthias Stierle , Martin Matzner

The discipline of process mining aims to study processes in a data-driven manner by analyzing historical process executions, often employing Petri nets. Event data, extracted from information systems (e.g. SAP), serve as the starting point…

Artificial Intelligence · Computer Science 2022-04-11 Marco Pegoraro , Merih Seran Uysal , Wil M. P. van der Aalst

Cyber-Physical Systems (CPSs) tightly interconnect digital and physical operations within production environments, enabling real-time monitoring, control, optimization, and autonomous decision-making that directly enhance manufacturing…

Machine Learning · Computer Science 2025-12-16 Francesco Vitale , Nicola Dall'Ora , Sebastiano Gaiardelli , Enrico Fraccaroli , Nicola Mazzocca , Franco Fummi

Product Data Management (PDM) claims of producing desktop and web based systems to maintain the organizational data to increase the quality of products by improving the process of development, business process flows, change management,…

Other Computer Science · Computer Science 2010-08-10 Zeeshan Ahmed , Detlef Gerhard

Event data provide the main source of information for analyzing and improving processes in organizations. Process mining techniques capture the state of running processes w.r.t. various aspects, such as activity-flow and performance…

Other Computer Science · Computer Science 2022-01-20 Mahsa Pourbafrani , Wil M. P. van der Aalst

The application of process mining for unstructured data might significantly elevate novel insights into disciplines where unstructured data is a common data format. To efficiently analyze unstructured data by process mining and to convey…

When modeling complex, hierarchical, and time-dynamic systems, such as biological systems, good computational tools are essential. Current tools, while powerful, often lack comprehensive frameworks for modular model composition,…

Quantitative Methods · Quantitative Biology 2025-10-17 Henrik Podéus , Gustav Magnusson , Sasan Keshmiri , Kajsa Tunedal , Nicolas Sundqvist , William Lövfors , Gunnar Cedersund

Molecular dynamics (MD) has become a powerful tool for studying biophysical systems, due to increasing computational power and availability of software. Although MD has made many contributions to better understanding these complex…

Computational Physics · Physics 2019-09-27 Yihang Wang , Joao Marcelo Lamim Ribeiro , Pratyush Tiwary

Simulation is a common approach to predict the effect of business process changes on quantitative performance. The starting point of Business Process Simulation (BPS) is a process model enriched with simulation parameters. To cope with the…

Software Engineering · Computer Science 2024-08-27 Orlenys López-Pintado , Serhii Murashko , Marlon Dumas

Recently, information systems like ERP, CRM and WFM record different business events or activities in a log named as event log. Process mining aims at extracting information from event logs to capture business process as it is being…

Software Engineering · Computer Science 2015-07-22 Saiqa Aleem , Luiz Fernando Capretz , Faheem Ahmed

Process mining, i.e., a sub-field of data science focusing on the analysis of event data generated during the execution of (business) processes, has seen a tremendous change over the past two decades. Starting off in the early 2000's, with…

Software Engineering · Computer Science 2019-05-16 Alessandro Berti , Sebastiaan J. van Zelst , Wil van der Aalst

Process-mining techniques have emerged as powerful tools for analyzing event data to gain insights into business processes. In this paper, we present a comprehensive analysis of road traffic fine management processes using the pm4py library…

Artificial Intelligence · Computer Science 2024-09-18 Ali Jlidi , László Kovács

Decision mining enables the discovery of decision rules from event logs or streams, and constitutes an important part of in-depth analysis and optimisation of business processes. So far, decision mining has been merely applied in an ex-post…

Artificial Intelligence · Computer Science 2023-03-08 Beate Scheibel , Stefanie Rinderle-Ma

Object-centric process mining provides a more holistic view of processes where we analyze processes with multiple case notions. However, most object-centric process mining techniques consider the whole event log rather than the comparison…

Databases · Computer Science 2022-02-14 Anahita Farhang Ghahfarokhi , Wil M. P. van der Aalst

We propose a novel methodology for validating software product line (PL) models by integrating Statistical Model Checking (SMC) with Process Mining (PM). Our approach focuses on the feature-oriented language QFLan in the PL engineering…

Software Engineering · Computer Science 2024-01-25 Roberto Casaluce , Andrea Burattin , Francesca Chiaromonte , Alberto Lluch Lafuente , Andrea Vandin