A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets. - Leifeng He; Guanjun Liu; Mimi Wang (APSCC, 2016)

A Reduction Method of Analyzing Data-Liveness and Data-Boundedness for a Class of E-commerce Business Process Nets. - Wangyang Yu 001; Guanjun Liu; Leifeng He (SpaCCS, 2016)

Model Checking CTLK Based on Knowledge-Oriented Petri Nets. - Leifeng He; Guanjun Liu (HPCC/SmartCity/DSS, 2019)

Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security. - Leifeng He; Guanjun Liu (SERVICES, 2020)

Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge. - Leifeng He; Guanjun Liu (CoRR, 2020)

Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order. - Leifeng He; Guanjun Liu (TASE, 2021)

Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams. - Leifeng He; Guanjun Liu (Comput. Informatics, 2021)

Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table. - Jian Song 009; Dongming Xiang; Guanjun Liu; Leifeng He (Comput. Informatics, 2022)

PNer: A Petri-Net-Based Model Checker for Computation Tree Logic. - Leifeng He; Guanjun Liu; Yantao Sun (ICNSC, 2023)

Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems. - Leifeng He; Guanjun Liu; Mengchu Zhou (IEEE Trans. Comput. Soc. Syst., 2023)

Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL$_{x}$. - Leifeng He; Guanjun Liu (IEEE Trans. Ind. Informatics, 2023)