基于时间Petri网的工作流系统模型的线性推理.PDF

第 2 期 电　　子 　　学 　　报 Vol . 30 　No . 2 　2002 年 2 月 ACTA ELECTRONICA SINICA Feb . 　2002 　 基于时间 Petri 网的工作流系统模型的线性推理 刘 　婷 ,林 　闯 ,刘卫东 (清华大学计算机科学与技术系 ,北京 100084) 　　摘 　要 : 　目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析 ,很少有人研究与时间有关的 工作流模型的性质 ,特别是模型中的时序关系推理及性能计算问题. 本文重点研究了这方面的问题 ,用时间 Petri 网表 示工作流模型并对基本工作流模型进行时序分析 ,给出线性时间推理的规则 ,运用这些规则 ,可对复杂的工作流模型 进行逐步化简 ,并在线性时间复杂度内解决时间推理问题. 关键词 : 　工作流管理系统 ; 时间 Petri 网; 线性推理 中图分类号 : 　TP3917 　　　文献标识码 : 　A 　　　文章编号 : (2002) Line ar Temporal Inference of Workflow Mana gement Sy st em Ba se d on Time d Petri N et Mo del s L IU Ting ,L IN Chuang ,L IU Weidong ( Dep artment of Comp uter Science and Technology , Tsinghua University , Beij ing 100084 , China) Ab stract : 　The research on workflow has been focused on the verification of workflow task structure ,but few have paid attention to the properties of the models ,which are closely related to the time ,especially the problems of temporal inference and performance calculation . In this paper ,we research on this aspect . Timed Petri Nets are used to model workflows as well as analyze the temporal re lations of the model . A set of linear inference rules is put forward. Using these rules ,we can simplify the complicated model step by step ,and solve the inference problem within linear time complexity. Key word s : 　workflow management systems ;timed Petri nets ;linear inference 1 　引言 作流作为一个过程流 ,运用于实际系统时多数系统与时间有 　　工作流是业务流程的全部或部分自动化 ,在此过程中 ,文