Abstract
Event logs of information systems consist of recorded traces, describing executed activities and involved resources (e.g., users, data objects). Conformance checking is a family of process mining techniques that leverage such logs to detect whether observed traces deviate w.r.t some specification model (e.g., a Petri net). In this paper, we present a conformance checking method using colored Petri nets (CPNs) and event logs. CPN models allow not only to specify a causal ordering between system activities, but also they allow to describe how resources must be processed upon activity executions. By replaying each trace of an event log on top of a CPN, we present how this method detects: (1) control-flow deviations due to unavailable resources, (2) rule violations, and (3) differences between modeled and real produced resources. We illustrate in detail our method using the study case of trading systems, where orders from traders must be correctly processed by a platform. We describe experimental evaluations of our method to showcase its practical value.
This work is supported by the Basic Research Program at the National Research University Higher School of Economics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
van der Aalst, W.: Process Mining: Data Science in Action. Springer (2016)
Adriansyah, A., Munoz-Gama, J., Carmona, J., van Dongen, B., van der Alst, W.: Measuring Precision of Modeled Behavior. IseB 13(1), 37–67 (2015)
Carmona, J., van Dongen, B., Solti, A., Weidlich, M.: Conformance Checking: Relating Processes and Models. Springer, Cham (2018)
Carrasquel, J.C., Lomazova, I.A.: Modelling and Validation of Trading and Multi-Agent Systems: An Approach Based on Process Mining and Petri Nets. In: van Dongen, B., Claes, J. (eds.) Proceedings of the ICPM Doctoral Consortium. CEUR, vol. 2432 (2019)
Carrasquel, J.C., Lomazova, I.A., Itkin, I.L.: Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach. In: Lomazova, I.A., Kalenkova, A., Yavorsky, R. (eds.) Modeling and Analysis of Complex Systems and Processes (MACSPro). CEUR, vol. 2478 (2019)
Carrasquel, J.C., Lomazova, I.A., Rivkin, A.: Modeling trading systems using petri net extensions. In: Köhler-Bussmeier, M., Kindler, E., Rölke, H. (eds.) International Workshop on Petri Nets and Software Engineering (PNSE). CEUR, vol. 2651 (2020)
Conformance Checking with Colored Petri Nets: Project Repository (Github). https://github.com/jcarrasquel/hse-uamc-conformance-checking
FIX Community - Standards. https://www.fixtrading.org/standards/
Harris, L.: Trading and Exchanges: Market Microstructure for Practitioners. Oxford University Press (2003)
Itkin, I., Yavorskiy, R.: Overview of applications of passive testing techniques. In: Lomazova, I., Kalenkova, A., Yavorsky, R. (eds.) Modeling and Analysis of Complex Systems and Processes (MACSPro). CEUR, vol. 2478 (2019)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Cham (2009)
de Leoni, M., Munoz-Gama, J., Carmona, J., van der Aalst, W.: Decomposing alignment-based conformance checking of data-aware process models. In: Meersman, R., et al. (eds.) On the Move to Meaningful Internet Systems (OTM), pp. 3–20. Springer, LNCS (2014)
Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.: Balanced multi-perspective checking of process conformance. Computing 98(4), 407–437 (2016)
Mecheraoui, K., Carrasquel, J.C., Lomazova, I.A.: Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems. CoRR abs/2003.07291 (2020)
Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)
Pinto, H., Han, J., Pei, J., Wang, K., Chen, Q., Dayal, U.: Multi-dimensional sequential pattern mining. In: International Conference on Information and Knowledge Management, pp. 81–88. ACM (2001)
Ras, Z.W., Wyrzykowska, E., Tsay, L.: Action rules mining. In: Encyclopedia of Data Warehousing and Mining, pp. 1–5. IGI Global (2009)
Rozinat, A., van der Alst, W.: Conformance Checking of Processes Based on Monitoring Real Behavior. Inf. Syst. 33(1), 64–95 (2008)
SNAKES - Petri net library: https://snakes.ibisc.univ-evry.fr/
van der Aalst, W., van Hee, K., van der Werf, J., Verdonk, M.: Auditing 2.0: using process mining to support tomorrow’s auditor. Computer 43(3), 90–93 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Carrasquel, J.C., Mecheraoui, K., Lomazova, I.A. (2021). Checking Conformance Between Colored Petri Nets and Event Logs. In: van der Aalst, W.M.P., et al. Analysis of Images, Social Networks and Texts. AIST 2020. Lecture Notes in Computer Science(), vol 12602. Springer, Cham. https://doi.org/10.1007/978-3-030-72610-2_33
Download citation
DOI: https://doi.org/10.1007/978-3-030-72610-2_33
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-72609-6
Online ISBN: 978-3-030-72610-2
eBook Packages: Computer ScienceComputer Science (R0)