期刊文献+

基于广义随机Petri网的交通信息系统建模与分析 被引量:15

Modeling and Analysis of TIS Based on GSPN
下载PDF
导出
摘要 交通信息系统 (TIS)是目前世界各国交通运输领域竞相研究和开发的热点 .它是一种复杂的服务性系统 ,具有典型的业务过程特点 ,但目前用工作流来分析交通信息系统的研究尚不多见 ,更很少有人对该系统中的一些实时性服务进行时序分析 ,提出优化方案 .该文将广义随机Petri网与工作流相结合 ,首先为TIS建立符合工作流概念的广义随机Petri网模型 .然后根据实际系统中相关数据的统计分析和经验估计 ,利用基于行为表达式的分析方法对点播服务的时间性质进行分析 ,获得了一些有价值的性能指标信息 . At present Transportation Information System (TIS) is a hot spot in transportation research field. TIS is a complex service system with typical business process characteristics. However, there is little research work made on TIS with workflow principle. Still less some achievement in analyzing the time feature of the real-time service. In this paper, two modeling methods-GSPN and workflow are combined to model TIS. First, a GSPN-workflow model of TIS is set. According to the data got, certain parameters are assigned to each transition in the model. Then the time feature of order program service is analyzed with a performance analysis method, behavior expression based method. Finally, some informations, such as the total order program service time, various computing time of various model and so on, are got. This information is valuable to help us optimize the whole order program service.
作者 林琳 蒋昌俊
出处 《计算机学报》 EI CSCD 北大核心 2005年第1期81-87,共7页 Chinese Journal of Computers
基金 国家自然科学基金 (60 12 5 2 0 5 90 412 0 13 ) 国家"九七三"重点基础研究发展规划项目基金 (2 0 0 3CB3 1690 2 ) 国家"八六三"高技术研究发展计划 (2 0 0 4AA0 14 3 40 ) 上海市重大计划项目基金 上海重点计划项目基金 上海高校网格技术E-研究院基金
关键词 交通信息系统 工作流 广义随机PETRI网 行为表达式 性能分析 Analysis Management information systems Models Performance Petri nets
  • 相关文献

参考文献13

  • 1袁崇义.Petri网原理[M].北京:电子工业出版社,1999.. 被引量:6
  • 2蒋昌俊著..离散事件动态系统的PN机理论[M].北京:科学出版社,2000:202.
  • 3范玉顺主编,罗海滨等编著..工作流管理技术基础 实现企业业务过程重组、过程管理与过程自动化的核心技术[M].北京:清华大学出版社;施普林格出版社,2001:315.
  • 4潘启澍,姜兵.基于Petri网的工作流建模技术及应用[J].清华大学学报(自然科学版),2000,40(9):86-89. 被引量:49
  • 5林闯,魏丫丫.随机进程代数与随机Petri网[J].软件学报,2002,13(2):203-213. 被引量:26
  • 6蒋昌俊,曾国荪,陈闳中,苗夺谦,章昭辉,支青,岳峰,傅游.交通信息网格的研究[J].计算机研究与发展,2003,40(12):1677-1681. 被引量:33
  • 7Hollingsworth D..The workflow reference model,workflow management coalition.WfMC Document Number TC00-1003,1994.http://www.aiai.ed.ac.uk/WfMC/. 被引量:1
  • 8van der Aslst W.M.P..The application of Petri nets to workflow management.The Journal of CircuTIS,Systems and Computers,1998,8(1):21-66. 被引量:1
  • 9Papazoglou M.,Delis A.,Bouguettaya A.et a1..Class library support for workflow environments and applications.IEEE Transactions on Computers,1997,46(6):673-686. 被引量:1
  • 10Kacmar C.,Carey J.,Alexander M..Providing workflow services using a programmable hypermedia environment.Information and Software Technology,1998,40(1):381-396. 被引量:1

二级参考文献63

  • 1杨兆升.城市交通流诱导系统理论与模型[M].北京:人民交通出版社,1999,9.. 被引量:2
  • 2史美林,清华大学学报,1998年,38卷,增1期,30页 被引量:1
  • 3Wu Shangguang,ProcInternational Conference on Com municationTechnology,1996年,187页 被引量:1
  • 4I Foster, C Kesselman. The Grid: Blueprint for a new computing infrastructure. San Francisco: Morgan-Kaufmann, 1998 被引量:1
  • 5I Foster, C Kesselman, S Tuecke. The anatomy of the grid:Enabling scalable virtual organizations. International Journal of Supercomputer Applications, 2001, 15(3): 200~222 被引量:1
  • 6M Gendreau, G Laporte, F Semet. A dynamic model and parallel tabu search heuristic for real-time ambulance relocation. Parallel Computing, 2001, 27(2): 1641~ 1653 被引量:1
  • 7R Hribar, E Taylor, E Boyce. Implementing parallel shortest path for parallel transportation application. Parallel Computing, 2001,27(12): 1537~ 1568 被引量:1
  • 8M Gendreau, F Guertin, Y Potvin et al. Parallel tabu search for real-time vehicle routing and dispatching. Transportation Science,1999, 33(4): 381~390 被引量:1
  • 9Buchholz, P. Lumpability and nearly-lumpability in hierarchical queueing networks. In: Computer Performance and Dependability Symposium. 1995. 82~91. http://www.ieee.org. 被引量:1
  • 10Brinksma, Ed. Stochastic process algebras: Linking process descriptions with performance. 1999 IFIP TC6/WG6.1 Joint International Conference (FORTE/PSTV'99) on Formal Description Techniques (FORTE XLL) for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XIX). 1999. 被引量:1

共引文献110

同被引文献747

引证文献15

二级引证文献46

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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