基于层次时间Petri网的工作流模型可达性分析方法

被引：15

作者：

唐达 ^{[1
]}

刘丹妮 ^{[2
]}

机构：

[1] 大连理工大学计算机科学与工程系

[2] 东北大学东软信息学院计算机系

来源：

计算机集成制造系统 | 2006年 / 04期

关键词：

工作流; 时间Petri网; 层次时间Petri网; 层次时间树;

D O I：

10.13196/j.cims.2006.04.9.tangd.002

中图分类号：

TP311.5 [软件工程];

学科分类号：

摘要：

为了有效管理工作流,需要对工作流模型进行合理性分析与验证。为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法。证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的。在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法。通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性。

引用

页码：487 / 493

页数：7