English
Related papers

Related papers: Discovering Sound Free-choice Workflow Nets With N…

200 papers

Process discovery methods have obtained remarkable achievements in Process Mining, delivering comprehensible process models to enhance management capabilities. However, selecting the suitable method for a specific event log highly relies on…

Machine Learning · Computer Science 2021-03-25 Sylvio Barbon , Paolo Ceravolo , Ernesto Damiani , Gabriel Marques Tavares

Process discovery aims to derive process models from event logs, providing insights into operational behavior and forming a foundation for conformance checking and process improvement. However, models derived solely from event data may not…

Artificial Intelligence · Computer Science 2025-10-09 Ali Norouzifar , Humam Kourani , Marcus Dees , Wil van der Aalst

Workflow nets are a well-established variant of Petri nets for the modeling of process activities such as business processes. The standard correctness notion of workflow nets is soundness, which comes in several variants. Their decidability…

Formal Languages and Automata Theory · Computer Science 2025-03-07 Michael Blondin , Alain Finkel , Piotr Hofman , Filip Mazowiecki , Philip Offtermatt

Nowadays, more and more process data are automatically recorded by information systems, and made available in the form of event logs. Process mining techniques enable process-centric analysis of data, including automatically discovering…

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

In this study, we consider the experimentally-obtained, periodically-forced response of a nonlinear structure in the presence of process noise. Control-based continuation is used to measure both the stable and unstable periodic solutions…

Dynamical Systems · Mathematics 2021-02-17 Sandor Beregi , David A. W. Barton , Djamel Rezgui , Simon A. Neild

This report presents a submission to the Process Discovery Contest. The contest is dedicated to the assessment of tools and techniques that discover business process models from event logs. The objective is to compare the efficiency of…

Artificial Intelligence · Computer Science 2016-10-27 Raji Ghawi

Modern information systems are able to collect event data in the form of event logs. Process mining techniques allow to discover a model from event data, to check the conformance of an event log against a reference model, and to perform…

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

Discovering business rules from business process models are of advantage to ensure the compliance of business processes with business rules. Furthermore it provides the agility of business processes in case of business rules evolution.…

Software Engineering · Computer Science 2017-04-21 Thanh Thoa Pham Thi , Markus Helfert , Fakir Hossain , Thang Le Dinh

This work proposes a robust data-driven predictive control approach for unknown nonlinear systems in the presence of bounded process and measurement noise. Data-driven reachable sets are employed for the controller design instead of using…

Systems and Control · Electrical Eng. & Systems 2023-07-18 Mahsa Farjadnia , Amr Alanwar , Muhammad Umar B. Niazi , Marco Molinari , Karl Henrik Johansson

Design patterns are elegant and well-tested solutions to recurrent software development problems. They are the result of software developers dealing with problems that frequently occur, solving them in the same or a slightly adapted way. A…

Software Engineering · Computer Science 2019-03-25 Hannes Thaller , Lukas Linsbauer , Alexander Egyed

Process mining is a technique that performs an automatic analysis of business processes from a log of events with the promise of understanding how processes are executed in an organisation. Several models have been proposed to address this…

Artificial Intelligence · Computer Science 2015-03-26 Catarina Moreira

Process mining is the common name for a range of methods and approaches aimed at analysing and improving processes. Specifically, methods that aim to derive process models from event logs fall under the category of process discovery. Within…

Artificial Intelligence · Computer Science 2025-02-04 Nikita Shaimov , Irina Lomazova , Alexey Mitsyuk

Process discovery algorithms automatically extract process models from event logs, but high variability often results in complex and hard-to-understand models. To mitigate this issue, trace clustering techniques group process executions…

Machine Learning · Computer Science 2025-12-11 Jari Peeperkorn , Johannes De Smedt , Jochen De Weerdt

Disfluency, though originating from human spoken utterances, is primarily studied as a uni-modal text-based Natural Language Processing (NLP) task. Based on early-fusion and self-attention-based multimodal interaction between text and…

Computation and Language · Computer Science 2022-11-29 Sreyan Ghosh , Utkarsh Tyagi , Sonal Kumar , Manan Suri , Rajiv Ratn Shah

Datalog has become a popular implementation language for solving large-scale, real-world problems, including bug finders, network analysis tools, and disassemblers. These applications express complex behaviour with hundreds of relations and…

Programming Languages · Computer Science 2021-08-26 Xiaowen Hu , Joshua Karp , David Zhao , Abdul Zreika , Xi Wu , Bernhard Scholz

Compositional synthesis relies on the discovery of assumptions, i.e., restrictions on the behavior of the remainder of the system that allow a component to realize its specification. In order to avoid losing valid solutions, these…

Logic in Computer Science · Computer Science 2022-07-05 Bernd Finkbeiner , Niklas Metzger , Yoram Moses

Process models may be automatically generated from event logs that contain as-is data of a business process. While such models generalize over the control-flow of specific, recorded process executions, they are often also annotated with…

Databases · Computer Science 2024-09-18 Henrik Kirchmann , Stephan A. Fahrenkrog-Petersen , Felix Mannhardt , Matthias Weidlich

The strong impulse to digitize processes and operations in companies and enterprises have resulted in the creation and automatic recording of an increasingly large amount of process data in information systems. These are made available in…

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

In process management, effective behavior modeling is essential for understanding execution dynamics and identifying potential issues. Two complementary paradigms have emerged in the pursuit of this objective: the imperative approach,…

Logic in Computer Science · Computer Science 2026-02-19 Luca Barbaro , Giovanni Varricchione , Marco Montali , Claudio Di Ciccio

Various and ubiquitous information systems are being used in monitoring, exchanging, and collecting information. These systems are generating massive amount of event sequence logs that may help us understand underlying phenomenon. By…

Machine Learning · Statistics 2018-07-13 Yihuang Kang , Vladimir Zadorozhny