English
Related papers

Related papers: Compositional Discovery of Workflow Nets from Even…

200 papers

In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is represented using workflow nets - a class of Petri nets.…

Logic in Computer Science · Computer Science 2022-08-03 Luca Bernardinello , Irina Lomazova , Roman Nesterov , Lucia Pomello

Process discovery studies ways to use event data generated by business processes and recorded by IT systems to construct models that describe the processes. Existing discovery algorithms are predominantly concerned with constructing process…

Multiagent Systems · Computer Science 2023-07-24 Andrei Tour , Artem Polyvyanyy , Anna Kalenkova , Arik Senderovich

Process discovery aims to discover models that can explain the behaviors of event logs extracted from information systems. While various approaches have been proposed, only a few guarantee desirable properties such as soundness and…

Databases · Computer Science 2023-01-06 Tsung-Hao Huang , Wil M. P. van der Aalst

Process Discovery is concerned with the automatic generation of a process model that describes a business process from execution data of that business process. Real life event logs can contain chaotic activities. These activities are…

Databases · Computer Science 2018-05-07 Niek Tax , Natalia Sidorova , Wil M. P. van der Aalst

Current AI-based Creativity Support Tools (CSTs) generate massive amounts of low-level log data (e.g., clicks, parameter tweaks, metadata updates) that are hard to interpret as "creative intent". We argue that to enable future agentic…

Human-Computer Interaction · Computer Science 2026-03-10 Tae Hee Jo , Kyung Hoon Hyun

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for…

Logic in Computer Science · Computer Science 2023-02-03 Tobias Kappé , Farhad Arbab , Carolyn Talcott

This paper presents a compositional conformance checking approach between nested Petri nets and event logs of multi-agent systems. By projecting an event log onto model components, one can perform conformance checking between each projected…

Software Engineering · Computer Science 2020-03-17 Khalil Mecheraoui , Julio C. Carrasquel , Irina A. Lomazova

Process mining is a field of computer science that deals with discovery and analysis of process models based on automatically generated event logs. Currently, many companies use this technology for optimization and improving their…

Artificial Intelligence · Computer Science 2023-03-27 Antonina K. Begicheva , Irina A. Lomazova , Roman A. Nesterov

We present a comprehensive examination of learning methodologies employed for the structural identification of dynamical systems. These techniques are designed to elucidate emergent phenomena within intricate systems of interacting agents.…

Machine Learning · Computer Science 2024-04-08 Jinchao Feng , Ming Zhong

This work deals with Workflow Mining (WM) a very active and promising research area. First, in this paper we give a critical and comparative study of three representative WM systems of this area: the ProM, InWolve and WorkflowMiner systems.…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-03-21 Mahdi Abdelkafi , Lotfi Bouzguenda , Faiez Gargouri

Agentic workflows built on low-code orchestration platforms enable rapid development of multi-agent systems, but they also introduce new and poorly understood failure modes that hinder reliability and maintainability. Unlike traditional…

Artificial Intelligence · Computer Science 2026-03-02 Xuyan Ma , Xiaofei Xie , Yawen Wang , Junjie Wang , Boyu Wu , Mingyang Li , Qing Wang

Process mining methods often analyze processes in terms of the individual end-to-end process runs. Process behavior, however, may materialize as a general state of many involved process components, which can not be captured by looking at…

Databases · Computer Science 2022-11-02 Bianka Bakullari , Wil M. P. van der Aalst

Unveiling the community structure of networks is a powerful methodology to comprehend interconnected systems across the social and natural sciences. To identify different types of functional modules in interaction data aggregated in a…

Physics and Society · Physics 2015-04-24 Manlio De Domenico , Andrea Lancichinetti , Alex Arenas , Martin Rosvall

Most existing process discovery techniques aim to mine models of process orchestrations that represent behavior of cases within one business process. Collaboration process discovery techniques mine models of collaboration processes that…

Formal Languages and Automata Theory · Computer Science 2024-10-11 Janik-Vasily Benzin , Stefanie Rinderle-Ma

A compositional sheaf-theoretic framework for the modeling of complex event-based systems is presented. We show that event-based systems are machines, with inputs and outputs, and that they can be composed with machines of different types,…

Systems and Control · Electrical Eng. & Systems 2021-03-09 Gioele Zardini , David I. Spivak , Andrea Censi , Emilio Frazzoli

As LLM applications grow more complex, developers are increasingly adopting multi-agent architectures to decompose workflows into specialized, collaborative components, introducing structure that constrains agent behavior and exposes useful…

A compositional sheaf-theoretic framework for the modeling of complex event-based systems is presented. We show that event-based systems are machines, with inputs and outputs, and that they can be composed with machines of different types,…

Robotics · Computer Science 2021-01-27 Gioele Zardini , David I. Spivak , Andrea Censi , Emilio Frazzoli

Modern information systems require autonomous agents capable of navigating complex workflows, yet current methodologies often struggle with the transition from structured metadata parsing to general environmental perception. While the…

Artificial Intelligence · Computer Science 2026-05-28 Susanna Cifani , Mario Luca Bernardi , Marta Cimitile

Designing effective agentic systems requires the seamless composition and integration of agents, tools, and models within dynamic and uncertain environments. Most existing methods rely on static, semantic retrieval approaches for tool or…

Computation and Language · Computer Science 2025-12-01 Michelle Yuan , Khushbu Pahwa , Shuaichen Chang , Mustafa Kaba , Jiarong Jiang , Xiaofei Ma , Yi Zhang , Monica Sunkara

The aim of process discovery, originating from the area of process mining, is to discover a process model based on business process execution data. A majority of process discovery techniques relies on an event log as an input. An event log…

Databases · Computer Science 2017-05-17 Sebastiaan J. van Zelst , Boudewijn F. van Dongen , Wil M. P. van der Aalst
‹ Prev 1 2 3 10 Next ›