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]
@inproceedings{CarrasquelML20,
title = {Checking Conformance Between Colored Petri Nets and Event Logs},
author = {Julio Cesar Carrasquel and Khalil Mecheraoui and Irina A. Lomazova},
year = {2020},
doi = {10.1007/978-3-030-72610-2_33},
url = {https://doi.org/10.1007/978-3-030-72610-2_33},
researchr = {https://researchr.org/publication/CarrasquelML20},
cites = {0},
citedby = {0},
pages = {435-452},
booktitle = {Analysis of Images, Social Networks and Texts - 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020, Revised Selected Papers},
editor = {Wil M. P. van der Aalst and Vladimir Batagelj and Dmitry I. Ignatov and Michael Khachay and Olessia Koltsova and Andrey Kutuzov and Sergei O. Kuznetsov and Irina A. Lomazova and Natalia V. Loukachevitch and Amedeo Napoli and Alexander Panchenko and Panos M. Pardalos and Marcello Pelillo and Andrey V. Savchenko and Elena Tutubalina},
volume = {12602},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-72610-2},
}