Theoretical Foundations and Hierarchical Supervisory Control of Automated Manufacturing Systems Using Transition-Bounded Unbounded Petri Nets. - Hamidu Mamudu; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2026)

Supervisory Control of Automated Manufacturing Systems: A Unified Survey of Petri Net Models From Bounded to Unbounded Frameworks. - Hamidu Mamudu; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2026)