Checking Conformance Between Colored Petri Nets and Event Logs. - Julio Cesar Carrasquel; Khalil Mecheraoui; Irina A. Lomazova (AIST, 2020)

Modeling Trading Systems using Petri Net Extensions. - Julio Cesar Carrasquel; Irina A. Lomazova; Andrey Rivkin (PNSE@Petri Nets, 2020)

Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems. - Khalil Mecheraoui; Julio Cesar Carrasquel; Irina A. Lomazova (CoRR, 2020)

Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives. - Julio Cesar Carrasquel; Irina A. Lomazova (CoRR, 2022)