基于着色Petri网的工作流建模和合理性分析
陈翔,夏国平
Workflow Modeling Based on Colored Petri Nets and its Soundness Analysis
CHEN Xiang, XIA Guo-ping
. 2004, (4): 0 -0 .