ROCOM'11/MUSP'11 Proceedings of the 11th WSEAS international conference on robotics, control and manufacturing technology, and 11th WSEAS international conference on Multimedia systems & signal processing
Modeling road traffic signals control using UML and the MARTE profile
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Modeling and analysis of the business process of the supply chain of virtual enterprises
Transactions on Edutainment VIII
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
This paper focuses on the use of Petri nets (PN) to model the control of signalized intersections. The application of PN to an eight-phase traffic signal controller is illustrated. Structural analysis of the control PN model is performed to demonstrate how the model enforces the traffic operation safety rules. This is followed by a discussion of why this modeling tool has future value as the use of more advanced control strategies continue to expand.