Mostra el registre d'ítem simple

dc.contributor.authorPonce de León, Hernán
dc.contributor.authorRodríguez, César
dc.contributor.authorCarmona Vargas, Josep
dc.contributor.authorHeljanko, Keijo
dc.contributor.authorHaar, Stefan
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2016-03-09T09:15:46Z
dc.date.available2016-12-31T01:30:25Z
dc.date.issued2015
dc.identifier.citationPonce 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.isbn978-3-319-24953-7
dc.identifier.urihttp://hdl.handle.net/2117/84020
dc.description.abstractThis 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.extent17 p.
dc.language.isoeng
dc.publisherSpringer
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.lcshPetri nets
dc.subject.lcshData mining
dc.titleUnfolding-based process discovery
dc.typeConference report
dc.subject.lemacPetri, Xarxes de
dc.subject.lemacMineria de dades
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.identifier.doi10.1007/978-3-319-24953-7_4
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://link.springer.com/chapter/10.1007/978-3-319-24953-7_4
dc.rights.accessOpen Access
local.identifier.drac17510224
dc.description.versionPostprint (author's final draft)
local.citation.authorPonce de León, H.; Rodríguez, C.; Carmona, J.; Heljanko, K.; Haar, S.
local.citation.contributorInternational Symposium Automated Technology for Verification and Analysis
local.citation.pubplaceShangai
local.citation.publicationNameAutomated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015: proceedings
local.citation.startingPage31
local.citation.endingPage47


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple