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

计算机科学 ›› 2006, Vol. 33 ›› Issue (7): 111-114.

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

谭玲郑栋顾庆陈道蓄

南京大学软件新技术国家重点实验室,南京210093

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
本文得到国家863项目支持,项目编号：2004AA112090.

TAN Ling, ZHENG Dong, GU Qing, CHEN Dao-Xu （State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析，给出了解决死锁的基本算法，并分析了这些算法的优缺点。最后给出了一个实例：软件测试过程模型。

关键词: 工作流 Petri网 WF-net 死锁可达树可达图

Abstract: 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 solu

Key words: Workflow, Petri-net, WF-net, Deadlock, Reachability-tree, Reachablility-graphic

谭玲郑栋顾庆陈道蓄. 工作流模型死锁的Petri网分析[J]. 计算机科学, 2006, 33(7): 111-114. https://doi.org/

TAN Ling, ZHENG Dong, GU Qing, CHEN Dao-Xu （State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093）. [J]. Computer Science, 2006, 33(7): 111-114. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed