Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing. - Wangyang Yu 001; Jinming Kong; Zhijun Ding; Xiaojun Zhai; Zhiqiang Li 003; Qi Guo (ACM Trans. Embed. Comput. Syst., 2024)

Formal Modeling and Analysis of User Activity Sequence in Online Social Networks: A Stochastic Petri Net-Based Approach. - Wangyang Yu 001; Jinming Kong; Fei Hao 001; Jian Li 032; Yuan Liu (IEEE Trans. Comput. Soc. Syst., 2024)