On the Synthesis of a Controllable Supervisor for Discrete Processes Modeled by Temporal Petri Nets. - Simona Iuliana Caramihai; H. Alla (ICRA, 1998)

Discussion on: 'A Contribution to the Validation of Grafcet Controlled Systems' by J. Zaytoon. - Jonathan S. Ostroff; H. Alla; Karl-Erik Årzén; Janan Zaytoon (Eur. J. Control, 2000)

Fault-tolerant continuous flow systems modelling. - Bilal Tolbi; Hicham Tebbikh; H. Alla (Int. J. Syst. Sci., 2017)