Hierarchical Conformance Checking of Process Models Based on Event Logs

DOI10.1007/978-3-642-38697-8_16zbMath1381.68214DBLPconf/apn/Munoz-GamaCA13OpenAlexW47958760WikidataQ57004941 ScholiaQ57004941MaRDI QIDQ5300878

Wil M. P. van der Aalst, Josep Carmona, Jorge Munoz-Gama

Publication date: 28 June 2013

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2117/99402

zbMATH Keywords

process miningconformance checkingprocess diagnosis

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)

Related Items (1)

Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account

This page was built for publication: Hierarchical Conformance Checking of Process Models Based on Event Logs