一种基于资源约束的工作流建模及分析方法
庞善臣
Modeling and Verification of Workflow Based on Resource Constraint
PANG Shan-chen
电子学报 . 2012, (8): 1497 -1502 .  DOI: 10.3969/j.issn.0372-2112.2012.08.001