1. Barkaoui, K., & Abdallah, I. B. (1995a). Deadlock avoidance in FMS based on structural theory of Petri nets. In Proceedings of 1995 INRIA/IEEE symposium on emerging technologies and factory automation, vol. 2 (pp .499-510).
2. A deadlock prevention method for a class of FMS;Barkaoui;IEEE International Conference on Systems, Man and Cybernetics,1995
3. Exploiting local persistency for reduced state-space generation;Barkaoui;Innovations in Systems and Software Engineering,2020
4. Modeling and verification of time dependent systems using time Petri nets;Berthomieu;IEEE Transactions on Software Engineering,1991
5. Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs;Boucheneb;Discrete Event Dynamic Systems,2011