| 基于时间Petri网的工作流系统模型的线性推理 |
| |
| 引用本文： | 刘婷,林闯,刘卫东.基于时间Petri网的工作流系统模型的线性推理[J].电子学报,2002,30(2):245-248. |
| |
| 作者姓名： | 刘婷 林闯 刘卫东 |
| |
| 作者单位： | 清华大学计算机科学与技术系,北京 100084 |
| |
| 基金项目： | 国家重点基础研究发展规划项目 (No G1 9990 32 70 7)，国家自然科学基金 (No 60 1 730 1 2 ) |
| |
| 摘 要： | 目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析,很少有人研究与时间有关的工作流模型的性质,特别是模型中的时序关系推理及性能计算问题.本文重点研究了这方面的问题,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题.
|
| 关 键 词： | 工作流管理系统 时间Petri网 线性推理 |
| 文章编号： | 0372-2112(2002)02-0245-04 |
| 收稿时间： | 2000-03-19 |
Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models |
| |
| LIU Ting,LIN Chuang,LIU Wei dong.Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models[J].Acta Electronica Sinica,2002,30(2):245-248. |
| |
| Authors: | LIU Ting LIN Chuang LIU Wei dong |
| |
| Affiliation: | Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China |
| |
| Abstract: | 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 relations 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. |
| |
| Keywords: | workflow management systems timed Petri nets linear inference |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
|
