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)

Model Checking ofWorkflow Nets with Tables and Constraints. - Jian Song 009; Guanjun Liu (CoRR, 2023)

Modeling and Analysis of Business Process Management Systems Using Timed Workflow Nets with Tables. - Jian Song 009; Guanjun Liu (Comput. Informatics, 2024)

A System Fault Diagnosis Method Based on Labeled Time Petri Net With Data. - Jian Song 009; Guanjun Liu (IEEE Control. Syst. Lett., 2024)

Model Checking of Workflow Nets with Tables and Constraints. - Jian Song 009; Guanjun Liu; Miaomiao Wang (ACM Trans. Auton. Adapt. Syst., 2025)