A graph transformation approach of mobile activity diagram to nested Petri nets. - Fayçal Guerrouf; Allaoua Chaoui; Ali Aldahoud (Int. J. Comput. Aided Eng. Technol., 2013)

A graph transformation based approach for multi-agent systems reorganization. - Fayçal Guerrouf; Allaoua Chaoui (Multiagent Grid Syst., 2019)

Dynamic Timed Automata for Reconfigurable System Modeling and Verification. - Samir Tigane; Fayçal Guerrouf; Nadia Hamani; Laid Kahloul; Mohamed Khalgui; Masood Ashraf Ali (Axioms, 2023)

A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs. - Samir Tigane; Fayçal Guerrouf; Laid Kahloul (Computing, 2023)