Approach to Verify |Soundness of Workflow Process Models Based on Petri Net
WANG Li-Jun, GUO Xiao-Dong
Journal of Jilin University (Information Science Edition) . 2011, (6): 590 -594 .