The following publications are possibly variants of this publication:
- Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-\Ĺocally Approach and a Structurally Minimal Method for Flexible Manufacturing SystemsChengzong Li, Yongyao Li, Yufeng Chen 0001, Naiqi Wu, Zhiwu Li 0001, Pengyu Ma, Husam Kaid. cai, 41(5):1310-1336, 2022. [doi]
- Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri NetsZ. W. Li, H. S. Hu, An R. Wang. tsmc, 37(4):517-526, 2007. [doi]
- Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing SystemsChengzong Li, Yufeng Chen, Zhiwu Li, Kamel Barkaoui. access, 5:16349-16358, 2017. [doi]
- On the Existence of a Maximally Permissive Liveness-enforcing Petri Net Supervisor for Flexible Manufacturing SystemsZhiwu Li, Moshe Shpitalni. icnsc 2008: 90-95 [doi]
- Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems"Yufeng Chen, Zhiwu Li, Mohamed Khalgui, Olfa Mosbahi. tase, 9(2):455, 2012. [doi]
- Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing SystemsYufeng Chen, Zhiwu Li, Mohamed Khalgui, Olfa Mosbahi. tase, 8(2):374-393, 2011. [doi]
- Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing SystemsYufeng Chen, Zhiwu Li, MengChu Zhou. tsmc, 42(3):615-629, 2012. [doi]
- An Improved Synthesis Method Based on ILPP and Colored Petri Net for Liveness Enforcing Controller of Flexible Manufacturing SystemsHusam Kaid, Abdulrahman Al-Ahmari, Zhiwu Li 0001, Wadea Ameen. access, 10:68570-68581, 2022. [doi]
- Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing SystemsDing Liu, Zhiwu Li, MengChu Zhou. tsmc, 43(1):85-97, 2013. [doi]
- A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing SystemsMuhammad Bashir, Zhiwu Li, Murat Uzam, Abdulrahman Al-Ahmari, Naiqi Wu, Ding Liu, Ting Qu. access, 5:15731-15749, 2017. [doi]
- Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri NetsZhiwu Li, MengChu Zhou. tii, 2(4):313-325, 2006. [doi]