Husam Kaid and  Abdulrahman Al-Ahmari and  Zhiwu Li,  Supervisor Controller-Based Colored Petri Nets for Deadlock Control and Machine Failures in Automated Manufacturing Systems.   journal   = {International Journal of Industrial and Manufacturing Engineering}, [online]. World Academy of Science, Engineering and Technology.
    September 2020, vol. 166(10). 486 - 492
    [viewed 25 April 2024]. Available from: https://publications.waset.org/pdf/10011480.