Using maximality-based labelled transition system as a model for petri nets. - Djamel-Eddine Saïdouni; Nabil Belala; Messaouda Bouneb (Int. Arab J. Inf. Technol., 2009)

Maximality Semantic For Recursive Petri Nets. - Djamel-Eddine Saïdouni; Messaouda Bouneb; Jean-Michel Ilié (ECMS, 2013)

A reduced maximality labeled transition system generation for recursive Petri nets. - Messaouda Bouneb; Djamel-Eddine Saïdouni; Jean-Michel Ilié (Formal Aspects Comput., 2015)

Hierarchical Design Method for Multi-Agent Systems. - Messaouda Bouneb; Djamel-Eddine Saïdouni (Int. J. Agent Technol. Syst., 2015)

Hierarchical System Design Using Refinable Recursive Petri Net. - Messaouda Bouneb; Djamel-Eddine Saïdouni; Jean-Michel Ilié (Comput. Informatics, 2018)