文献类型：期刊文章

作　　者：唐达[1] 刘丹妮[2]

机构地区：[1]大连理工大学计算机科学与工程系,辽宁大连116023 [2]东北大学东软信息学院计算机系,辽宁大连116023

出　　处：《计算机集成制造系统》

年　　份：2006

卷　　号：12

期　　号：4

起止页码：487-493

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

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

关 键 词：工作流 时间PETRI网 层次时间Petri网  层次时间树  

分 类 号：TP311]