Grading and Calculation of Synchronic Distance in Petri Nets for Trustworthy Modeling and analyzing. - Yumeng Cheng; Wangyang Yu 001; Xiaojun Zhai; Fei Hao 001; Yuan Liu (TrustCom, 2023)

Research on Probability of Discharge in Emergency Departments Based on Stochastic Timed Petri Nets and Machine Learning. - Yinglong Wang; Wangyang Yu 001; Xianwen Fang; Lei Meng; Yumeng Cheng; Jing Zhang 024 (ICNSC, 2024)

Enhancing security in e-business processes: Utilizing dynamic slicing of Colored Petri Nets for logical vulnerability detection. - WangYang Yu 001; Jie Feng; Lu Liu 001; Xiaojun Zhai; Yumeng Cheng (Future Gener. Comput. Syst., 2024)

Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System. - Wangyang Yu 001; Qi Guo; Yumeng Cheng; Lu Liu 001; Fei Hao 001; Xiaojun Zhai; Minsi Chen (ACM Trans. Embed. Comput. Syst., 2025)

Modeling and Risk Analysis of Cooperative Adaptive Cruise Control Systems Based on Petri Nets and Distributed Edge Intelligence. - Wangyang Yu 001; Yumeng Cheng; Xianwen Fang; Xiaojun Zhai; Yinglong Wang; Hongyuan Jing (IEEE Internet Things J., 2025)