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, Proceedings (pp. 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
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.