工作流模型时间有界性验证与分析研究

工作流模型时间有界性验证与分析研究

李建强，范玉顺

Timing Boundedness Verification and Analysis of Workflow Model

LI Jian-qiang，FAN Yu-shun

. 2002, (10): 0 -0 .