Journal of International Technology and Information Management
Document Type
Article
Abstract
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.
Recommended Citation
Darbari, Manuj; Srivastava, Abhay Kumar; and Medhavi, Sanjay
(2009)
"Formal Verification of Urban Traffic System Using the Concept of Fuzzy Workflow Simulation,"
Journal of International Technology and Information Management: Vol. 18:
Iss.
1, Article 3.
DOI: https://doi.org/10.58729/1941-6679.1232
Available at:
https://scholarworks.lib.csusb.edu/jitim/vol18/iss1/3
Included in
Business Intelligence Commons, E-Commerce Commons, Management Information Systems Commons, Management Sciences and Quantitative Methods Commons, Operational Research Commons, Technology and Innovation Commons