Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory

Autor: Kalenkova, Anna, Carmona, Josep, Polyvyanyy, Artem, La Rosa, Marcello

Publikováno v: Fundamenta Informaticae. 183:293-317

State-of-the-art process discovery methods construct free-choice process models from event logs. Consequently, the constructed models do not take into account indirect dependencies between events. Whenever the input behaviour is not free-choice, thes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a908f864b6893f2bf8ccc05a6f06c296
https://doi.org/10.3233/fi-2021-2089

Interfaz de usuario para un simulador de redes de Petri coloreadas

Autor: Narciso Farias, Mercedes Elizabeth

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______272::8b5f8bbb6c09f6fc947407a63a459dde
https://hdl.handle.net/2072/419540

Decomposition of transition systems into sets of synchronizing state machines

Autor: Jordi Cortadella, Viktor Teren, Tiziano Villa

Publikováno v: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
DSD

Transition systems (TS) and Petri nets (PN) are important models of computation ubiquitous in formal methods for modeling systems. An important problem is how to extract from a given TS a PN whose reachability graph is equivalent (with a suitable not

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22171f1e04198ff859e6ce4f6504b661

Structural Computation of Alignments of Business Processes Over Partial Orders

Autor: Farbod Taymouri, Josep Carmona

Publikováno v: ACSD
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Relating event data and process models is becoming an important element for organizations. This paper presents a novel approach for aligning traces and process models. The approach is based on the structural theory of Petri nets (the marking equation

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::123be2b26435c2a61fbe9820afdf1595
https://doi.org/10.1109/acsd.2019.00012

Online Conformance Checking Using Behavioural Patterns

Autor: Burattin, Andrea, van Zelst, Sebastiaan J., Armas-Cervantes, Abel, van Dongen, Boudewijn F., Carmona, Josep, Montali, Marco, Weber, Ingo, Weske, Mathias, vom Brocke, Jan

Publikováno v: Burattin, A, van Zelst, S J, Armas-Cervantes, A, van Dongen, B F & Carmona, J 2018, Online Conformance Checking Using Behavioural Patterns . in Business Process Management . Springer, Lecture Notes in Computer Science, vol. 11080, pp. 250-267, 16th International Conference on Business Process Management, Sydney, New South Wales, Australia, 09/09/2018 . https://doi.org/10.1007/978-3-319-98648-7_15
Lecture Notes in Computer Science ISBN: 9783319986470
BPM
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname
Business Process Management-16th International Conference, BPM 2018, Proceedings, 250-267
STARTPAGE=250;ENDPAGE=267;TITLE=Business Process Management-16th International Conference, BPM 2018, Proceedings

New and compelling regulations (e.g., the GDPR in Europe) impose tremendous pressure on organizations, in order to adhere to standard procedures, processes, and practices. The field of conformance checking aims to quantify the extent to which the exe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46f2a619c5da9400fa26fd3501bf7708
https://orbit.dtu.dk/en/publications/8d53586d-7efc-43aa-b360-2e43d9edad96