Kaid, H. , Al-Ahmari, A. , Li, Z.. "Supervisor Controller-Based Colored Petri Nets for Deadlock Control and Machine Failures in Automated Manufacturing Systems". World Academy of Science, Engineering and Technology, Open Science Index 166, International Journal of Industrial and Manufacturing Engineering (2020), 14(10), 486 - 492.