Abstract
Timed Coloured Petri net (TCPN) has been utilized as a visual formalism for the modeling of complex systems. A module of basic traffic system of TCPN model is successfully constructed in this paper. Especially, a supervisor of an urban traffic light system, which consists of five intersections with multiple phases, is implemented by the new methodology. And all the traffic operations are ruled by the control logic of TCPN. In addition, a new design tool is proposed and it is efficiently to state and solve the problem of traffic signal timing plans. Finally, a supervisor of the traffic light system is completed whose operation flow is modeled by the TCPN models.Keywordstimed coloured Petri netstraffic controlsignal timing plan
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
