Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach. - Puwen Cui; Ru Yang; Zhijun Ding (Int. J. Serv. Technol. Manag., 2020)

Variable Petri Nets for Mobility. - Zhijun Ding; Ru Yang; Puwen Cui; Mengchu Zhou; Changjun Jiang (IEEE Trans. Syst. Man Cybern. Syst., 2022)