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

被引:31
作者
刘婷
林闯
刘卫东
机构
[1] 清华大学计算机科学与技术系
关键词
工作流管理系统; 时间Petri网; 线性推理;
D O I
暂无
中图分类号
TP399 [在其他方面的应用];
学科分类号
摘要
目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析 ,很少有人研究与时间有关的工作流模型的性质 ,特别是模型中的时序关系推理及性能计算问题 .本文重点研究了这方面的问题 ,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析 ,给出线性时间推理的规则 ,运用这些规则 ,可对复杂的工作流模型进行逐步化简 ,并在线性时间复杂度内解决时间推理问题
引用
收藏
页码:245 / 248
页数:4
相关论文
共 5 条
  • [1] On temporal logic programming using Petri nets. Zaidi A K. IEEE Transactions on Systems Man and Cybernetics . 1999
  • [2] A Petri net model for temporal knowledge representation and reasoning. Yao Y. IEEE Transactions on Systems Man and Cybernetics . 1994
  • [3] The application of Petri nets to workflow management. WM P van der Aalst. Journal of Circuits Systems and Computers . 1998
  • [4] Logical inference of Horn clauses in Petri net models. Lin C,Chaudhury A,Whinston A B,Marinescu D C. IEEE Trans. on Knowledge and Data Engineering, June . 1993
  • [5] Logical inference of clauses based on Petri net models. Lin C,Chanson S T. International Journal of Intelligent Systems, John Wiley &Sons, August . 1998