A framework for verifying discrete event models within a DEVS-based system development methodology
Transactions of the Society for Computer Simulation International
Street and traffic simulation: traffic flow simulation using CORSIM
Proceedings of the 32nd conference on Winter simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Developing a software toolkit for urban traffic modeling
Software—Practice & Experience
Discrete-Event Modeling and Simulation: A Practitioner's Approach
Discrete-Event Modeling and Simulation: A Practitioner's Approach
Algorithms for approximate FSM traversal based on state space decomposition
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
| Hi-index | 0.00 |
Modeling an urban traffic system (UTS) is one of the most important procedures for solving traffic congestion problems. In this paper, UTS is modeled using the Discrete Event System Specification (DEVS) formalism, which is one of the most powerful methodologies for discrete event systems. The traffic system is analyzed using two main components: a road segment and an intersection. The road segments are viewed as conveyors and intersections are seen as diverters, which are used widely in automatic material handling systems of factories or warehouses. This interpretation was validated through executions in a DEVS simulator. Some modeling formalism issues also are discussed, which can improve the modeling power and usability are also discussed.