工作流模型死锁的Petri网分析  

The Analysis on Workflow Model Deadlock by Petri Nets

作　　者：谭玲[1] 郑栋[1] 顾庆[1] 陈道蓄[1] 

机构地区：[1]南京大学软件新技术国家重点实验室,南京210093

出　　处：《计算机科学》2006年第7期111-114,共4页Computer Science

基　　金：国家863项目支持;项目编号:2004AA112090。

摘　　要：Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具,因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析,给出了解决死锁的基本算法,并分析了这些算法的优缺点。最后给出了一个实例:软件测试过程模型。There are a lot of modeling and analysis tools available for workflow, but Petri nets is more preferable because of its solid mathematical foundation and graphical nature. This paper applies Petri nets to analyze the workflow model, set forth several solutions and compare the merits and limitations among them, point out the common method on analysis and solution of deadlock. At last, we will introduce an example for deadlock analysis—— the Software Test Workflow System.

关 键 词：工作流 PETRI网 WF-NET 死锁 可达树 可达图 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TP399[自动化与计算机技术—计算机科学与技术]