Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems

Liang Li 0020, Francesco Basile, Zhiwu Li. Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems. IEEE Trans. Automat. Contr., 66(11):5326-5341, 2021. [doi]

Abstract

Abstract is missing.