The new method of liveness verification with Object-Oriented Timed Petri Nets. - Xinju Zhang; Shuzhen Yao (ICACI, 2015)

Fuzzy stochastic Petri nets and analysis of the reliability of multi-state systems. - Xinju Zhang; Shuzhen Yao (IET Softw., 2015)

基于模糊着色Petri网的多状态系统可靠性分析 (Multi-state System Reliability Analysis Based on Fuzzy-colored Petri Nets). - Xinju Zhang; Shuzhen Yao (计算机科学, 2016)

Multi-state System Reliability Analysis Based on Fuzzy Colored Petri Nets. - Xinju Zhang (Comput. J., 2018)

Research on Key Technologies of Data Service Based on Adaptive Deep Learning. - Zhigang Zhao; Xinju Zhang (J. Softw., 2021)