Lucent Process Models and Translucent Event Logs

DOI10.3233/FI-2019-1842zbMath1428.68207OpenAlexW2979792111MaRDI QIDQ5212024

Wil M. P. van der Aalst

Publication date: 24 January 2020

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2019-1842

zbMATH Keywords

Petri netsprocess mininglucent process modelstranslucent event logs

Mathematics Subject Classification ID

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

Related Items (3)

Free-choice Nets with Home Clusters are Lucent ⋮ Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions ⋮ Reduction using induced subnets to systematically prove properties for free-choice nets

This page was built for publication: Lucent Process Models and Translucent Event Logs