Show simple item record

dc.contributor.authorKalenkova, A
dc.contributor.authorCarmona, J
dc.contributor.authorPolyvyanyy, A
dc.contributor.authorLa Rosa, M
dc.date.accessioned2020-04-07T03:50:48Z
dc.date.available2020-04-07T03:50:48Z
dc.date.issued2020
dc.identifier.citationKalenkova, A., Carmona, J., Polyvyanyy, A. & La Rosa, M. (2020). Automated Repair of Process Models Using Non-Local Constraints. Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, 12152 LNCS, Springer. https://doi.org/10.1007/978-3-030-51831-8_14.
dc.identifier.isbn9783030518301
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11343/235908
dc.description.abstractState-of-the-art process discovery methods construct free-choice process models from event logs. Hence, the constructed models do not take into account indirect dependencies between events. Whenever the input behavior is not free-choice, these methods fail to provide a precise model. In this paper, we propose a novel approach for the enhancement of free-choice process models, by adding non-free-choice constructs discovered a-posteriori via region-based techniques. This allows us to benefit from both the performance of existing process discovery methods, and the accuracy of the employed fundamental synthesis techniques. We prove that the proposed approach preserves fitness with respect to the event log, while improving the precision when indirect dependencies exist. The approach has been implemented and tested on both synthetic and real-life datasets. The results show its effectiveness in repairing process models discovered from event logs.
dc.publisherSpringer
dc.sourceInternational Conference on the Application and Theory of Petri Nets and Concurrency
dc.titleAutomated Repair of Process Models Using Non-Local Constraints
dc.typeConference Paper
dc.identifier.doi10.1007/978-3-030-51831-8_14
melbourne.affiliation.departmentComputing and Information Systems
melbourne.source.titleProceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency
melbourne.source.volume12152 LNCS
melbourne.identifier.arcDP180102839
melbourne.elementsid1443908
melbourne.contributor.authorKalenkova, Anna
melbourne.contributor.authorLa Rosa, Marcello
melbourne.contributor.authorPolyvyanyy, Artem
dc.identifier.eissn1611-3349
melbourne.identifier.fundernameidAUST RESEARCH COUNCIL, DP180102839
melbourne.event.locationParis, France (Virtual Conference)
melbourne.accessrightsOpen Access


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record