Hybrid heuristic search approach for deadlock-free scheduling of flexible manufacturing systems using Petri nets. - Hang Lei; Keyi Xing; LiBin Han; Zhenxin Gao (Appl. Soft Comput., 2017)

Transition Cover-Based Robust Petri Net Controllers for Automated Manufacturing Systems With a Type of Unreliable Resources. - Yanxiang Feng; Keyi Xing; Zhenxin Gao; Yunchao Wu (IEEE Trans. Syst. Man Cybern. Syst., 2017)

Enforcing the Liveness of S4PR by Using the Approach of Allocating Resources. - Zhenxin Gao; Yanxiang Feng; Feng Tian 002; Keyi Xing (IEEE Access, 2019)

A Hybrid Estimation-of-Distribution Algorithm for Scheduling Flexible Job Shop With Limited Buffers Based on Petri Nets. - Zhenxin Gao; Yanxiang Feng; Keyi Xing (IEEE Access, 2020)