首页    期刊浏览 2024年11月29日 星期五
登录注册

文章基本信息

  • 标题:Formal Verification of Urban Traffic System Using the Concept of Fuzzy Workflow Simulation
  • 本地全文:下载
  • 作者:Darbari, Manuj ; Srivastava, Abhay Kumar ; Medhavi, Sanjay
  • 期刊名称:Journal of International Technology and Information Management
  • 印刷版ISSN:1941-6679
  • 出版年度:2009
  • 卷号:18
  • 期号:1
  • 页码:3
  • 出版社:California State University, San Bernardino
  • 摘要:Modeling complex urban traffic system requires extensive use of workflow methodologies which can simulate almost real time traffic situations. Number of studies were done in the field of Urban Traffic Simulation like PLOTS, NETSIM and PALAMICS but none of them could provide a real formal solution. Our paper proposes a methodology using Fuzzy Petri nets for modeling real time traffic system. Fuzzy Petrinets are also visualised and tested by using Flow- Charter and HPSIM software packages. These packages help in providing successive iterations of process model for further refinement.
  • 关键词:traffic; workflow; simulation; PLOTS; NETSIM; PALAMICS; HPSIM; India; analysis
国家哲学社会科学文献中心版权所有