1. Deadlock prevention and avoidance in FMS: a Petri net based approach;Abdallah;Int. J. Adv. Manuf. Technol.,1998
2. Barkaoui K. Abdallah I. B. (1996) Structural liveness analysis of S $^3$ PR nets. Proc. Symp. Discrete Events Manuf. Syst., CESA’96 IMACS Multiconference, pp. 438–443.
3. On liveness and controlled siphons in Petri nets;Barkaoui;Proc. Int. Conf. Appl. Theory Petri Nets, LNCS,1996
4. Barkaoui K. Chaoui A. Zouari B. (1997) Supervisory control of discrete event systems based on structure theory of Petri nets. Proc. IEEE Int. Conf. Syst., Man, Cybern., Orlando, FL, vol. 4, pp. 3750–3755.
5. On the equivalence between liveness and deadlock-freeness in Petri nets;Barkaoui;Proc. Int. Conf. Appl. Theory Petri Nets-LNCS,2005