点击次数：

论文类型：期刊论文

发表时间：2006-04-30

发表刊物：计算机集成制造系统

收录刊物：Scopus、EI、PKU、CSCD

卷号：12

期号：4

页面范围：487-493

ISSN号：1006-5911

关键字：工作流;时间Petri网;层次时间Petri网;层次时间树

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