Abdulrahman Al-Ahmari, Husam Kaid, Zhiwu Li, Reggie Davidrajuh. Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems With Unreliable Resources. IEEE Access, 8:22411-22424, 2020. [doi]
Abstract is missing.