Adel Al-Shayea, Husam Kaid, Abdulrahman Al-Ahmari, Emad S. Abouel Nasr, Ali K. Kamrani, Haitham A. Mahmoud. Colored Resource-Oriented Petri Nets for Deadlock Control and Reliability Design of Automated Manufacturing Systems. IEEE Access, 9:125616-125627, 2021. [doi]
Abstract is missing.