1. PNer: A Petri-Net-Based Model Checker for Computation Tree Logic;2023 IEEE International Conference on Networking, Sensing and Control (ICNSC);2023-10-25
2. Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems;IEEE Transactions on Computational Social Systems;2023-04
3. Knowledge-Oriented Petri Nets and Computation Tree Logic of Knowledge;Petri Nets;2022
4. Formal Analysis and Verification of Embedded SIM Session Key Agreement Protocol;Proceedings of the 2021 5th International Conference on Electronic Information Technology and Computer Engineering;2021-10-22
5. Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08