Khalil Mecheraoui

According to our database, Khalil Mecheraoui authored at least 4 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

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

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

Checking Conformance Between Colored Petri Nets and Event Logs.

Julio Cesar Carrasquel, Khalil Mecheraoui, Irina A. Lomazova

Proceedings of the Analysis of Images, Social Networks and Texts, 2020

2016

Towards a Comprehensive Formal Model for Business Processes.

Khalil Mecheraoui, Nabil Belala, Djamel-Eddine Saïdouni

Proceedings of the Information and Software Technologies - 22nd International Conference, 2016