%0 Journal Article
%T 基于层次时间Petri网的工作流模型可达性分析方法
%A 唐？？达
%A 刘丹妮
%J 计算机集成制造系统
%P 0-0
%D 2006
%X 为了有效管理工作流，需要对工作流模型进行合理性分析与验证。为此，提出了一种基于层次时间Petri网的工作流模型，给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法。证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的。在时间方面，提出了基于层次时间Petri网工作流模型的层次时间树算法，并给出了时间可达性的静态和动态分析与验证方法。通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性。
%K 工作流
%K 时间Petri网
%K 层次时间Petri网
%K 层次时间树
%U http://www.cims-journal.cn/CN/abstract/abstract1148.shtml