Loading...
Loading...

Go to the content (press return)

Region-based algorithms for process mining and synthesis of Petri nets

Author
Carmona, J.; Cortadella, J.; Kishinevsky, M.
Type of activity
Report
Date
2009-02
Code
LSI-09-7-R
Repository
http://hdl.handle.net/2117/86987 Open in new window
Abstract
The theory of regions was introduced in the early nineties as a bridge between state-based and event-based specifications. Since then, much attention has been paid to theoretical extensions of this theory, but less advances have appeared in the application domain. This paper provides contributions in both dimensions: the theory of bisimulation-based synthesis from Cortadella {em et al.} is generalized and adapted to the area of Process Mining. On the application domain, efficient methods and dat...
Citation
Carmona, J., Cortadella, J., Kishinevsky, M. "Region-based algorithms for process mining and synthesis of Petri nets". 2009.
Keywords
Bisimulation, Petri nets, Process mining, Synthesis, Transition systems
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments