English
Related papers

Related papers: Automated simulation and verification of process m…

200 papers

Event logs, as viewed in process mining, contain event data describing the execution of operational processes. Most process mining techniques take an event log as input and generate insights about the underlying process by analyzing the…

Databases · Computer Science 2023-01-05 Daniel Schuster , Michael Martini , Sebastiaan J. van Zelst , Wil M. P. van der Aalst

The development of embedded systems requires formal analysis of models such as those described with MATLAB/Simulink. However, the increasing complexity of industrial models makes analysis difficult. This paper proposes a model checking…

Logic in Computer Science · Computer Science 2022-06-08 Daisuke Ishii , Takashi Tomita , Toshiaki Aoki , The Quyen Ngo , Thi Bich Ngoc Do , Hideaki Takai

Predictive Process Analytics is becoming an essential aid for organizations, providing online operational support of their processes. However, process stakeholders need to be provided with an explanation of the reasons why a given process…

Process mining has become one of the best programs that can outline the event logs of production processes in visualized detail. We have addressed the important problem that easily occurs in the industrial process called Bottleneck. The…

General Economics · Economics 2023-11-28 Hamza Saad

In complex processes, various events can happen in different sequences. The prediction of the next event given an a-priori process state is of importance in such processes. Recent methods have proposed deep learning techniques such as…

Machine Learning · Computer Science 2020-11-04 Julian Theis , Houshang Darabi

Process analytics is an umbrella of data-driven techniques which includes making predictions for individual process instances or overall process models. At the instance level, various novel techniques have been recently devised, tackling…

Machine Learning · Computer Science 2021-07-29 Johannes De Smedt , Anton Yeshchenko , Artem Polyvyanyy , Jochen De Weerdt , Jan Mendling

The number of events recorded for operational processes is growing every year. This applies to all domains: from health care and e-government to production and maintenance. Event data are a valuable source of information for organizations…

Other Computer Science · Computer Science 2017-03-13 Wil M. P. van der Aalst , Alfredo Bolt , Sebastiaan J. van Zelst

Machine learning (ML) provides algorithms to create computer programs based on data without explicitly programming them. In business process management (BPM), ML applications are used to analyse and improve processes efficiently. Three…

Machine Learning · Computer Science 2024-05-28 Sven Weinzierl , Sandra Zilker , Sebastian Dunzer , Martin Matzner

We present a long-term deployment study of a machine vision-based anomaly detection system for failure prediction in a steel rolling mill. The system integrates industrial cameras to monitor equipment operation, alignment, and hot bar…

Computer Vision and Pattern Recognition · Computer Science 2025-10-31 Vaibhav Kurrey , Sivakalyan Pujari , Gagan Raj Gupta

Process mining provides ways to analyze business processes. Common process mining techniques consider the process as a whole. However, in real-life business processes, different behaviors exist that make the overall process too complex to…

Databases · Computer Science 2021-03-15 Anahita Farhang Ghahfarokhi , Alessandro Berti , Wil M. P. van der Aalst

We report on an effort to develop methodologies for formal verification of parts of the Multi-Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of communicating processes. While the individual…

Logic in Computer Science · Computer Science 2007-05-23 Olga Shumsky Matlin , William McCune , Ewing Lusk

In this paper we describe a method to discover frequent behavioral patterns in event logs. We express these patterns as \emph{local process models}. Local process model mining can be positioned in-between process discovery and episode /…

Databases · Computer Science 2017-05-17 Niek Tax , Natalia Sidorova , Reinder Haakma , Wil M. P. van der Aalst

Anomaly detection in process mining focuses on identifying anomalous cases or events in process executions. The resulting diagnostics are used to provide measures to prevent fraudulent behavior, as well as to derive recommendations for…

Machine Learning · Computer Science 2022-03-21 Suhwan Lee , Xixi Lu , Hajo A. Reijers

Data mining is known to have a potential for predicting user performance. However, there are few studies that explore its potential for predicting student behavior in a procedural training environment. This paper presents a collective…

Human-Computer Interaction · Computer Science 2025-12-24 Diego Riofrío-Luzcando , Jaime Ramírez , Marta Berrocal-Lobo

Simulation workflow is a top-level model for the design and control of simulation process. It connects multiple simulation components with time and interaction restrictions to form a complete simulation system. Before the construction and…

Machine Learning · Computer Science 2022-07-12 Zhuqing Liu , Liyuanjun Lai , Lin Zhang

Automated methods for discovering mechanistic simulator models from observational data offer a promising path toward accelerating scientific progress. Such methods often take the form of agentic-style iterative workflows that repeatedly…

Machine Learning · Computer Science 2026-02-23 Stefan Wahl , Raphaela Schenk , Ali Farnoud , Jakob H. Macke , Daniel Gedon

The problem considered in this paper is the online diagnosis of Automated Production Systems with sensors and actuators delivering discrete binary signals that can be modeled as Discrete Event Systems. Even though there are numerous…

Machine Learning · Computer Science 2022-10-26 R Saddem , D Baptiste

Issue Tracking Systems (ITS) such as Bugzilla can be viewed as Process Aware Information Systems (PAIS) generating event-logs during the life-cycle of a bug report. Process Mining consists of mining event logs generated from PAIS for…

Software Engineering · Computer Science 2015-11-24 Prerna Juneja , Divya Kundra , Ashish Sureka

A key concern of automatic process discovery is to provide insights into performance aspects of business processes. Waiting times are of particular importance in this context. For that reason, it is surprising that current techniques for…

Human-Computer Interaction · Computer Science 2024-01-10 Harleen Kaur , Jan Mendling , Christoffer Rubensson , Timotheus Kampik

Process mining is a technology that helps understand, analyze, and improve processes. It has been present for around two decades, and although initially tailored for business processes, the spectrum of analyzed processes nowadays is…

Databases · Computer Science 2024-11-19 Viki Peeva , Marvin Porsil , Wil M. P. van der Aalst
‹ Prev 1 8 9 10 Next ›