Release Time:2019-03-10  Hits:

Indexed by: Journal Article

Date of Publication: 2006-04-30

Journal: 计算机集成制造系统

Included Journals: CSCD、PKU、EI、Scopus

Volume: 12

Issue: 4

Page Number: 487-493

ISSN: 1006-5911

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

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