Graphe de Pas Maximaux : une Solution pour la Réduction des Systèmes de Transitions Eétiquetées Maximales. - Adel Benamira; Djamel-Eddine Saïdouni (CIIA, 2011)

Maximality-Based Labeled Transition Systems Normal Form. - Adel Benamira; Djamel-Eddine Saïdouni (Modeling Approaches and Algorithms for Advanced Computer Applications, 2013)

Causal Reversibility in Individual Token Interpretation of Petri Nets. - Adel Benamira (Comput. Sci., 2020)