Open Access. Powered by Scholars. Published by Universities.®
Management Information Systems Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Management Information Systems
Pentral: Pattern Based Logic Language, Manuj Darbari, Abhay Kumar Srivastava, Sanjay Medhavi
Pentral: Pattern Based Logic Language, Manuj Darbari, Abhay Kumar Srivastava, Sanjay Medhavi
Journal of International Technology and Information Management
The article focuses on the urban traffic representation using patterns which are specifically developed for traffic situations. The framework PENTRAL (PEtri-Net TRAnsportation Language) provides conversion of these patterns into algebraic format. These formats are saved as an XML file following the three tier architecture of urban Traffic system.
Formal Verification Of Urban Traffic System Using The Concept Of Fuzzy Workflow Simulation, Manuj Darbari, Abhay Kumar Srivastava, Sanjay Medhavi
Formal Verification Of Urban Traffic System Using The Concept Of Fuzzy Workflow Simulation, Manuj Darbari, Abhay Kumar Srivastava, Sanjay Medhavi
Journal of International Technology and Information Management
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.