Summary
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.
See the full content of this document
Extract
Formal Verification of Urban Traffic System Using the Concept of Fuzzy Workflow Simulation
INTRODUCTION
Urban Traffic Congestion is becoming a problem in India. In the past there were number of researches being done that states that jam are not only exasperating but they also cost India a lot in terms of productivity. The study on the subject showed the external cost of road traffic congestion alone amount to 0.5% (Economic Survey of GDP, by MARG).The problem comes from the fact that transport users do not always cover the costs. The cost of infrastructure, congestion, environmental damage and accidents are not reflected in the price structure. Workflow management as a method of initiation of operations in a real-world processes and systems can e used to describe and analyse the behaviour of an existing and conceptual system. By changing these models (Fish, 2006), the behaviour...See the full content of this document
(Copyright 2011)
Provided by ProQuest LLC. All Rights Reserved.
Content not included in vLex Global Academic product.
Sponsored links
