Towards a Comprehensive Formal Model for Business Processes. - Khalil Mecheraoui; Nabil Belala; Djamel-Eddine Saïdouni (ICIST, 2016)

Checking Conformance Between Colored Petri Nets and Event Logs. - Julio Cesar Carrasquel; Khalil Mecheraoui; Irina A. Lomazova (AIST, 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)

A Petri net extension for systems of concurrent communicating agents with durable actions. - Khalil Mecheraoui; Irina A. Lomazova; Nabil Belala (J. Parallel Distributed Comput., 2021)