Mostra el registre d'ítem simple
Region-based algorithms for process mining and synthesis of Petri nets
dc.contributor.author | Carmona Vargas, Josep |
dc.contributor.author | Cortadella, Jordi |
dc.contributor.author | Kishinevsky, Mike |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2016-05-12T08:04:56Z |
dc.date.available | 2016-05-12T08:04:56Z |
dc.date.issued | 2009-02 |
dc.identifier.citation | Carmona, J., Cortadella, J., Kishinevsky, M. "Region-based algorithms for process mining and synthesis of Petri nets". 2009. |
dc.identifier.uri | http://hdl.handle.net/2117/86987 |
dc.description.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 data structures to support the synthesis problem are developed, together with a practical implementation. Experiments reported witness the practicality of the approach described in this paper. |
dc.format.extent | 14 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-09-7-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.other | Petri nets |
dc.subject.other | Transition systems |
dc.subject.other | Synthesis |
dc.subject.other | Process mining |
dc.subject.other | Bisimulation |
dc.title | Region-based algorithms for process mining and synthesis of Petri nets |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1857543 |
dc.description.version | Postprint (published version) |
local.citation.author | Carmona, J.; Cortadella, J.; Kishinevsky, M. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [1.107]