期刊文献+

基于时间工作流网的智能交通系统建模与分析 被引量:3

Modeling and Analysis of ITS Based on Timed WF-net
下载PDF
导出
摘要 智能交通运输系统是目前世界各国交通运输领域竞相研究和开发的热点,但用工作流分析智能交通系统的研究尚不多见。文章在工作流网中加入时间参数,提出了一种工作流建模工具:时间工作流网,并用时间工作流网建立智能交通系统的工作流模型。最后对智能交通系统模型的时间性能进行分析。 At present Intelligent Transportation System(ITS)is a hot spot in transportation research field.But in this field there is not much research work analyzing ITS with workflow model.This paper proposes a new workflow modeling tool:timed WF-net which is formed by adding time parameter to WF-net.Then a workflow model of ITS was set up with timed WF-net.Finally,the time performance of ITS workflow model was analyzed.
出处 《计算机工程与应用》 CSCD 北大核心 2004年第28期198-201,共4页 Computer Engineering and Applications
基金 上海市重大攻关项目--信息网格在智能信息系统中的应用研究资助
关键词 智能交通系统 时间工作流网 工作流模型 Intelligent Transportation System,timed WF-net,workflow model
  • 相关文献

参考文献9

  • 1Hollingsworth D.The workflow reference model,workflow management coalition. WfMC Document Number TC00-1003,http://www.aiai.ed.ac.uk/WfMC/, 1994
  • 2W M P van der Aslst.The Application of Petri Nets to Workflow Management[J].The Journal of Circuits,Systems and Computers, 1998;8(1)
  • 3Inamoto A.Object-oriented model driven workflow process analysis [C].In:Proc Japan/USA Symposium on Flexible Automation, 1996; (2)
  • 4Papazoglou M Delis A, Bouguettaya A et al.Class library support for workflow environments and applications[J].IEEE Transactions on Computers, 1997; 46 ( 6 )
  • 5Kacmar C,Carey J,Alexander M.Providing workflow services using a programmable hypermedia environment[J].Information and Software Technology, 1998 ;40( 1 )
  • 6袁崇义.Petri网原理[M].北京:电子工业出版社,1999..
  • 7范玉顺.工作流管理技术基础[M].清华大学出版社,2001..
  • 8刘婷,林闯,刘卫东.基于时间Petri网的工作流系统模型的线性推理[J].电子学报,2002,30(2):245-248. 被引量:34
  • 9可行性方案起草组.上海市科委2003年重大科研攻关项目可行性方案:信息网格及其应用示范[Z].,2003-04..

二级参考文献8

  • 1[1]W M P van der Aalst.The application of Petri nets to workflow management [J].Journal of Circuits,Systems,and Computers,1998,8(1):21-66.
  • 2[2]W M P van der Aalst.Chapter 10;Three Good reasons for Using a Petri-net-based Workflow Management System.In T.WaKaYaMa et al.,editor,Information and Process Integration in Enterprises;Rethinking documents [M].The Kluwer International Series in Engineering and Computer Science,Kluwer Academic Publishers,Norwell,1998:161-182.
  • 3[3]C A Ellis,K Keddara,G Rozenberg.Dynamic change within workflow systems [J].In N.Comstock and C.Ellis,editors,Conf.on Organizational Computing Systems,ACM,SIGOIS,Milpitas,CA(1995):10-21.
  • 4[4]W M P van der Aalst.Verification of workflow tast structures [A].Information Systems,2000,25(1):43-69.
  • 5[5]Zaidi A K.On temporal logic programming using Petri nets [J].IEEE Transactions on Systems,Man and Cybernetics,May 1999,29(3):245-254.
  • 6[6]Yao Y.A Petri net model for temporal knowledge representation and reasoning [J].IEEE Trans.Systems,Man,and Cybernetics,1994,24(9):1374-1382.
  • 7[7]Lin C,Chanson S T.Logical inference of clauses based on Petri net models [J].International Journal of Intelligent Systems,John Wiley & Sons,August 1998,13:821-840.
  • 8[8]Lin C,Chaudhury A,Whinston A B,Marinescu D C.Logical inference of Horn clauses in Petri net models [J].IEEE Trans.on Knowledge and Data Engineering,June 1993,5(4):416-425.

共引文献325

同被引文献17

引证文献3

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部