Publications

C. Gu, Z. Y. Ma, and Z. W. Li*, "Liveness and deadlock-freenesss verification and enforcement in bounded Petri nets using basis reachability graphs," submitted.

C. Gu, Z. Y. Ma, Z. W. Li*, and A. Giua, "Verification of nonblockingness in bounded Petri nets with min-max basis reachability graphs," IEEE Transactions on Systems, Man and Cybernetics: Systems, accepted and in press, 2022. (Regular Paper)
C. Gu, Z. Y. Ma, Z. W. Li*, and A. Giua, "Non-blockingness verification of bounded Petri nets using basis reachability graphs," IEEE Control Systems Letters, vol. 6, pp. 1220-1225, 2022.
C. Gu, Z. W. Li*, N. Q. Wu, M. Khalgui, T. Qu, and A. Al-Ahmari, "Improved multi-step look-ahead control policies for automated manufacturing systems," IEEE Access, vol. 6, pp. 68824-68838, 2018.
C. Gu, Z. W. Li*, and A. Al-Ahmari, "A multistep look-ahead deadlock avoidance policy for automated manufacturing systems," Discrete Dynamics in Nature and Society, vol. 3, pp. 1-16, 2017.
X. Y. Cong, C. Gu, M. Uzam, Y. F. Chen, A. Al-Ahmari, N. Q. Wu, M. C. Zhou, and Z. W. Li*, "Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs," Asian Journal of Control, vol. 20, no. 1, pp. 511-530, 2018.

C. Gu, Z. Y. Ma, Z. W. Li*, and A. Giua, "Non-blockingness verification of bounded Petri nets using basis reachability graphs," 60th IEEE Conference on Decision and Control (Austin, TX, USA), accepted, 2021. (jointly submitted to IEEE Control Systems Letters)
C. Gu, Z. W. Li*, and A. Giua, "Analysis of behavioural properties of bounded Petri nets with a semi-structural approach," In proceedings of the 59th IEEE Conference on Decision and Control (Jeju Island, South Korea), pp. 4467-4472, 2020.
C. Gu, Z. Y. Ma, Z. W. Li*, and A. Giua, "Verification of nonblockingness in bounded Petri nets with a semi-structural approach," In proceedings of the 58th IEEE Conference on Decision and Control (Nice, France), pp. 6718-6723, 2019.

Note: * indicates the corresponding author.