10.3969/j.issn.1002-137X.2006.07.029
工作流模型死锁的Petri网分析
Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具,因此在工作流的建模和分析方面具有广泛的应用.本文应用Petri网的理论对于工作流模型中的死锁进行分析,给出了解决死锁的基本算法,并分析了这些算法的优缺点.最后给出了一个实例:软件测试过程模型.
工作流、Petri网、WF-net、死锁、可达树、可达图
33
TP3(计算技术、计算机技术)
国家高技术研究发展计划863计划2004AA112090
2006-09-19(万方平台首次上网日期,不代表论文的发表时间)
共4页
111-114