Aligning Event Logs to Resource-Constrained ν -Petri Nets

Dominique Sommers; Natalia Sidorova; Boudewijn van Dongen

doi:10.1007/978-3-031-06653-5_17

Aligning Event Logs to Resource-Constrained ν -Petri Nets

Dominique Sommers, Natalia Sidorova, Boudewijn van Dongen

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

3 Citaten (Scopus)

Samenvatting

Systems with shared resources can be modeled and analyzed using high-level Petri nets in a natural way. Choosing a model type suitable for the use in conformance checking introduces challenges related to constraints the model should put on resource types and resource instances. In this paper, we propose a model for systems with shared resources based on resource-constrained Petri nets and ν -Petri nets that can be used in the context of conformance checking. Our model allows for case and resource isolation, allowing for proper simulation of multiple cases involving shared resources. With this minimal extension, we show that we can use existing state-of-the-art conformance checking techniques to compute alignments on complete event logs rather than on individual case instances. We show that previously undetected deviations caused by inter-case dependencies can now be exposed, providing valuable information regarding the exhaustive workflow in the process.

Originele taal-2	Engels
Titel	Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Proceedings
Redacteuren	Luca Bernardinello, Laure Petrucci
Uitgeverij	Springer
Pagina's	325-345
Aantal pagina's	21
ISBN van geprinte versie	9783031066528
DOI's	https://doi.org/10.1007/978-3-031-06653-5_17
Status	Gepubliceerd - 2022
Evenement	43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022 - Bergen, Noorwegen Duur: 19 jun. 2022 → 24 jun. 2022

Publicatie series

Naam	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13288 LNCS
ISSN van geprinte versie	0302-9743
ISSN van elektronische versie	1611-3349

Congres

Congres	43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022
Land/Regio	Noorwegen
Stad	Bergen
Periode	19/06/22 → 24/06/22

Bibliografische nota

Publisher Copyright:
© 2022, Springer Nature Switzerland AG.

Financiering

This work is done within the project “Certification of production process quality through Artificial Intelligence (CERTIF-AI)”, funded by NWO (project number: 17998).

Toegang tot document

10.1007/978-3-031-06653-5_17

Andere bestanden en links

Link naar publicatie in Scopus

Citeer dit

Sommers, D., Sidorova, N., & van Dongen, B. (2022). Aligning Event Logs to Resource-Constrained ν -Petri Nets. In L. Bernardinello, & L. Petrucci (editors), Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Proceedings (blz. 325-345). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13288 LNCS). Springer. https://doi.org/10.1007/978-3-031-06653-5_17

Sommers, Dominique ; Sidorova, Natalia ; van Dongen, Boudewijn. / Aligning Event Logs to Resource-Constrained ν -Petri Nets. Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Proceedings. redacteur / Luca Bernardinello ; Laure Petrucci. Springer, 2022. blz. 325-345 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{fc91a7b7d97346578ace4316dab1d832,

title = "Aligning Event Logs to Resource-Constrained ν -Petri Nets",

abstract = "Systems with shared resources can be modeled and analyzed using high-level Petri nets in a natural way. Choosing a model type suitable for the use in conformance checking introduces challenges related to constraints the model should put on resource types and resource instances. In this paper, we propose a model for systems with shared resources based on resource-constrained Petri nets and ν -Petri nets that can be used in the context of conformance checking. Our model allows for case and resource isolation, allowing for proper simulation of multiple cases involving shared resources. With this minimal extension, we show that we can use existing state-of-the-art conformance checking techniques to compute alignments on complete event logs rather than on individual case instances. We show that previously undetected deviations caused by inter-case dependencies can now be exposed, providing valuable information regarding the exhaustive workflow in the process.",

keywords = "Conformance checking, Inter-case dependencies, Petri nets, Shared resources",

author = "Dominique Sommers and Natalia Sidorova and {van Dongen}, Boudewijn",

note = "Funding Information: This work is done within the project “Certification of production process quality through Artificial Intelligence (CERTIF-AI)”, funded by NWO (project number: 17998). Publisher Copyright: {\textcopyright} 2022, Springer Nature Switzerland AG.; 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022 ; Conference date: 19-06-2022 Through 24-06-2022",

year = "2022",

doi = "10.1007/978-3-031-06653-5_17",

language = "English",

isbn = "9783031066528",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "325--345",

editor = "Luca Bernardinello and Laure Petrucci",

booktitle = "Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Proceedings",

address = "Germany",

}

Sommers, D , Sidorova, N & van Dongen, B 2022, Aligning Event Logs to Resource-Constrained ν -Petri Nets. in L Bernardinello & L Petrucci (uitgave), Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13288 LNCS, Springer, blz. 325-345, 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, Bergen, Noorwegen, 19/06/22. https://doi.org/10.1007/978-3-031-06653-5_17

Aligning Event Logs to Resource-Constrained ν -Petri Nets. / Sommers, Dominique ; Sidorova, Natalia ; van Dongen, Boudewijn.
Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Proceedings. uitgave / Luca Bernardinello; Laure Petrucci. Springer, 2022. blz. 325-345 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13288 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Aligning Event Logs to Resource-Constrained ν -Petri Nets

AU - Sommers, Dominique

AU - Sidorova, Natalia

AU - van Dongen, Boudewijn

N1 - Funding Information: This work is done within the project “Certification of production process quality through Artificial Intelligence (CERTIF-AI)”, funded by NWO (project number: 17998). Publisher Copyright: © 2022, Springer Nature Switzerland AG.

PY - 2022

Y1 - 2022

N2 - Systems with shared resources can be modeled and analyzed using high-level Petri nets in a natural way. Choosing a model type suitable for the use in conformance checking introduces challenges related to constraints the model should put on resource types and resource instances. In this paper, we propose a model for systems with shared resources based on resource-constrained Petri nets and ν -Petri nets that can be used in the context of conformance checking. Our model allows for case and resource isolation, allowing for proper simulation of multiple cases involving shared resources. With this minimal extension, we show that we can use existing state-of-the-art conformance checking techniques to compute alignments on complete event logs rather than on individual case instances. We show that previously undetected deviations caused by inter-case dependencies can now be exposed, providing valuable information regarding the exhaustive workflow in the process.

AB - Systems with shared resources can be modeled and analyzed using high-level Petri nets in a natural way. Choosing a model type suitable for the use in conformance checking introduces challenges related to constraints the model should put on resource types and resource instances. In this paper, we propose a model for systems with shared resources based on resource-constrained Petri nets and ν -Petri nets that can be used in the context of conformance checking. Our model allows for case and resource isolation, allowing for proper simulation of multiple cases involving shared resources. With this minimal extension, we show that we can use existing state-of-the-art conformance checking techniques to compute alignments on complete event logs rather than on individual case instances. We show that previously undetected deviations caused by inter-case dependencies can now be exposed, providing valuable information regarding the exhaustive workflow in the process.

KW - Conformance checking

KW - Inter-case dependencies

KW - Petri nets

KW - Shared resources

UR - http://www.scopus.com/inward/record.url?scp=85133017398&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-06653-5_17

DO - 10.1007/978-3-031-06653-5_17

M3 - Conference contribution

AN - SCOPUS:85133017398

SN - 9783031066528

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 325

EP - 345

BT - Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Proceedings

A2 - Bernardinello, Luca

A2 - Petrucci, Laure

PB - Springer

T2 - 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022

Y2 - 19 June 2022 through 24 June 2022

ER -

Sommers D , Sidorova N , van Dongen B. Aligning Event Logs to Resource-Constrained ν -Petri Nets. In Bernardinello L, Petrucci L, redacteurs, Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Proceedings. Springer. 2022. blz. 325-345. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-06653-5_17

Aligning Event Logs to Resource-Constrained ν -Petri Nets

Samenvatting

Publicatie series

Congres

Bibliografische nota

Financiering

Toegang tot document

Andere bestanden en links

Vingerafdruk

Citeer dit