Unfolding-Based Process Discovery

DOI10.1007/978-3-319-24953-7_4zbMath1471.68171arXiv1507.02744OpenAlexW1696434287WikidataQ62039953 ScholiaQ62039953MaRDI QIDQ3460543

César Rodríguez, Josep Carmona, Stefan Haar, Hernán Ponce de León, Keijo Heljanko

Publication date: 8 January 2016

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.02744

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Compact and efficiently verifiable models for concurrent systems ⋮ Discovering unseen behaviour from event logs ⋮ Generalized Alignment-Based Trace Clustering of Process Behavior ⋮ Deadlock detection-oriented unfolding of unbounded Petri nets

This page was built for publication: Unfolding-Based Process Discovery