Julio Cesar Carrasquel, Khalil Mecheraoui, Irina A. Lomazova. Checking Conformance Between Colored Petri Nets and Event Logs. In Wil M. P. van der Aalst, Vladimir Batagelj, Dmitry I. Ignatov, Michael Khachay, Olessia Koltsova, Andrey Kutuzov, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia V. Loukachevitch, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko, Elena Tutubalina, editors, Analysis of Images, Social Networks and Texts - 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020, Revised Selected Papers. Volume 12602 of Lecture Notes in Computer Science, pages 435-452, Springer, 2020. [doi]
Abstract is missing.