Bashir, Muhammad; Li, Zhiwu; Uzam, Murat; Wu, Naiqi; Al-Ahmari, Abdulrahman On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach. (English) Zbl 1418.90101 IMA J. Math. Control Inf. 35, No. 4, 1217-1249 (2018). MSC: 90B30 90B25 68Q85 PDFBibTeX XMLCite \textit{M. Bashir} et al., IMA J. Math. Control Inf. 35, No. 4, 1217--1249 (2018; Zbl 1418.90101) Full Text: DOI Link
Cong, Xuya; Gu, Chao; Uzam, Murat; Chen, Yufeng; Al-ahmari, Abdulrahman M.; Wu, Naiqi; Zhou, Mengchu; Li, Zhiwu Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs. (English) Zbl 1391.93142 Asian J. Control 20, No. 1, 511-530 (2018). MSC: 93C65 90B30 93A13 93C95 94C15 PDFBibTeX XMLCite \textit{X. Cong} et al., Asian J. Control 20, No. 1, 511--530 (2018; Zbl 1391.93142) Full Text: DOI
Liu, Miao; Wang, ShouGuang; Zhou, MengChu; Liu, Ding; Al-Ahmari, Abdulrahman; Qu, Ting; Wu, NaiQi; Li, ZhiWu Deadlock and liveness characterization for a class of generalized Petri nets. (English) Zbl 1436.90041 Inf. Sci. 420, 403-416 (2017). MSC: 90B30 68Q85 PDFBibTeX XMLCite \textit{M. Liu} et al., Inf. Sci. 420, 403--416 (2017; Zbl 1436.90041) Full Text: DOI
Chen, YuFeng; Li, ZhiWu; Al-Ahmari, Abdulrahman; Wu, NaiQi; Qu, Ting Deadlock recovery for flexible manufacturing systems modeled with Petri nets. (English) Zbl 1429.90019 Inf. Sci. 381, 290-303 (2017). MSC: 90B30 68Q85 PDFBibTeX XMLCite \textit{Y. Chen} et al., Inf. Sci. 381, 290--303 (2017; Zbl 1429.90019) Full Text: DOI
Chen, Xiaoliang; Li, Zhiwu; Wu, Naiqi; Al-Ahmari, Abdulrahman M.; El-Tamimi, Abdulaziz Mohammed; Abouel Nasr, Emad S. Confusion avoidance for discrete event systems by P/E constraints and supervisory control. (English) Zbl 1397.93135 IMA J. Math. Control Inf. 33, No. 2, 309-332 (2016). MSC: 93C65 93A13 68Q85 PDFBibTeX XMLCite \textit{X. Chen} et al., IMA J. Math. Control Inf. 33, No. 2, 309--332 (2016; Zbl 1397.93135) Full Text: DOI
Chen, YuFeng; Al-Ahmari, Abdulrahman; Hon, Chi Tin; Wu, NaiQi Equivalent transformation of nonlinear constraints to linear constraints in Petri nets. (English) Zbl 1394.68245 Math. Probl. Eng. 2015, Article ID 640917, 11 p. (2015). MSC: 68Q85 90C10 PDFBibTeX XMLCite \textit{Y. Chen} et al., Math. Probl. Eng. 2015, Article ID 640917, 11 p. (2015; Zbl 1394.68245) Full Text: DOI
Chen, Xiaoliang; Liu, Gaiyun; Wu, Naiqi; Al-Ahmari, Abdulrahman M.; El-Tamimi, Abdulaziz Mohammed; Abouel Nasr, Emad S. Confusion control in generalized Petri nets using synchronized events. (English) Zbl 1394.93183 Math. Probl. Eng. 2015, Article ID 636959, 23 p. (2015). MSC: 93C65 68M14 PDFBibTeX XMLCite \textit{X. Chen} et al., Math. Probl. Eng. 2015, Article ID 636959, 23 p. (2015; Zbl 1394.93183) Full Text: DOI