Checking Conformance between Colored Petri Nets and Event Logs

P. 435–452.

Carrasquel Gamez J. C., Mecheraoui K., Lomazova I. A.

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.

Keywords: Petri nets, process mining, colored Petri nets, trading systems

Publication based on the results of: Process models: checking conformance with the observed behavior, automated discovery and behavioral analysis (2021)

In book

Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers

Vol. 12602. , Springer, 2021.