Hits:

Indexed by:期刊论文

Date of Publication:2006-04-30

Journal:计算机集成制造系统

Included Journals:Scopus、EI、PKU、CSCD

Volume:12

Issue:4

Page Number:487-493

ISSN No.:1006-5911

Key Words:工作流;时间Petri网;层次时间Petri网;层次时间树

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