Mostra el registre d'ítem simple
Unfolding-based process discovery
dc.contributor.author | Ponce de León, Hernán |
dc.contributor.author | Rodríguez, César |
dc.contributor.author | Carmona Vargas, Josep |
dc.contributor.author | Heljanko, Keijo |
dc.contributor.author | Haar, Stefan |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-03-09T09:15:46Z |
dc.date.available | 2016-12-31T01:30:25Z |
dc.date.issued | 2015 |
dc.identifier.citation | Ponce de León, H., Rodríguez , C., Carmona, J., Heljanko, K., Haar, S. Unfolding-based process discovery. A: International Symposium Automated Technology for Verification and Analysis. "Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015: proceedings". Shangai: Springer, 2015, p. 31-47. |
dc.identifier.isbn | 978-3-319-24953-7 |
dc.identifier.uri | http://hdl.handle.net/2117/84020 |
dc.description.abstract | This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two additional inputs: an independence relation on the set of logged activities, and a collection of negative traces. After deriving an intermediate net unfolding from them, we perform a controlled folding giving rise to a Petri net which contains both the input log and all independence-equivalent traces arising from it. Remarkably, the derived Petri net cannot execute any trace from the negative collection. The entire chain of transformations is fully automated. A tool has been developed and experimental results are provided that witness the significance of the contribution of this paper. |
dc.format.extent | 17 p. |
dc.language.iso | eng |
dc.publisher | Springer |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.lcsh | Petri nets |
dc.subject.lcsh | Data mining |
dc.title | Unfolding-based process discovery |
dc.type | Conference report |
dc.subject.lemac | Petri, Xarxes de |
dc.subject.lemac | Mineria de dades |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.identifier.doi | 10.1007/978-3-319-24953-7_4 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007/978-3-319-24953-7_4 |
dc.rights.access | Open Access |
local.identifier.drac | 17510224 |
dc.description.version | Postprint (author's final draft) |
local.citation.author | Ponce de León, H.; Rodríguez, C.; Carmona, J.; Heljanko, K.; Haar, S. |
local.citation.contributor | International Symposium Automated Technology for Verification and Analysis |
local.citation.pubplace | Shangai |
local.citation.publicationName | Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015: proceedings |
local.citation.startingPage | 31 |
local.citation.endingPage | 47 |