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 (Corresponding author)
, Natalia Sidorova
, Boudewijn van Dongen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

7 Citations (Scopus)

52 Downloads (Pure)

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.

Original language	English
Title of host publication	Application and Theory of Petri Nets and Concurrency
Subtitle of host publication	43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
Editors	Luca Bernardinello, Laure Petrucci
Publisher	Springer
Pages	325-345
Number of pages	21
ISBN (Electronic)	978-3-031-06653-5
ISBN (Print)	978-3-031-06652-8
DOIs	https://doi.org/10.1007/978-3-031-06653-5_17
Publication status	Published - 13 Jun 2022
Event	43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022 - Bergen, Norway Duration: 19 Jun 2022 → 24 Jun 2022

Publication series

Name	Lecture Notes in Computer Science (LNCS)
Volume	13288
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022
Country/Territory	Norway
City	Bergen
Period	19/06/22 → 24/06/22

Funding

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

Keywords

Conformance checking
Inter-case dependencies
Petri nets
Shared resources

Access to Document

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

pdfFinal published version, 2.01 MBLicence: TAVERNE

Cite this

Sommers, D., Sidorova, N., & van Dongen, B. (2022). Aligning Event Logs to Resource-Constrained ν -Petri Nets. In L. Bernardinello, & L. Petrucci (Eds.), Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings (pp. 325-345). (Lecture Notes in Computer Science (LNCS); Vol. 13288). 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, Bergen, Norway, June 19–24, 2022, Proceedings. editor / Luca Bernardinello ; Laure Petrucci. Springer, 2022. pp. 325-345 (Lecture Notes in Computer Science (LNCS)).

@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",

year = "2022",

month = jun,

day = "13",

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

language = "English",

isbn = "978-3-031-06652-8",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "325--345",

editor = "Luca Bernardinello and Laure Petrucci",

booktitle = "Application and Theory of Petri Nets and Concurrency",

address = "Germany",

note = "43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022 ; Conference date: 19-06-2022 Through 24-06-2022",

}

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

Aligning Event Logs to Resource-Constrained ν -Petri Nets. / Sommers, Dominique (Corresponding author); Sidorova, Natalia ; van Dongen, Boudewijn.
Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings. ed. / Luca Bernardinello; Laure Petrucci. Springer, 2022. p. 325-345 (Lecture Notes in Computer Science (LNCS); Vol. 13288).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Sommers, Dominique

AU - Sidorova, Natalia

AU - van Dongen, Boudewijn

PY - 2022/6/13

Y1 - 2022/6/13

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 - https://www.scopus.com/pages/publications/85133017398

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 - 978-3-031-06652-8

T3 - Lecture Notes in Computer Science (LNCS)

SP - 325

EP - 345

BT - Application and Theory of Petri Nets and Concurrency

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, editors, Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings. Springer. 2022. p. 325-345. (Lecture Notes in Computer Science (LNCS)). doi: 10.1007/978-3-031-06653-5_17

Aligning Event Logs to Resource-Constrained ν -Petri Nets

Abstract

Publication series

Conference

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this