Based on Synchronized Timed Petri Nets for Urban Traffic Control Systems

Timed Petri net (TPN) has been utilized as a visual formalism for the modeling of complex discrete event dynamic systems. It illuminates the features on describing properties of causality and concurrency. Moreover, it is well-known that synchronized timed Petri net (STPN) allows us to present all of...

Full description

Saved in:
Bibliographic Details
Published in2013 IEEE International Conference on Systems, Man, and Cybernetics pp. 384 - 390
Main Authors Yi-Sheng Huang, Yi-Shun Weng, MuDer Jeng, Bo-Yang Chen
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.10.2013
Subjects
discrete event systems
Fires
Firing
Inhibitors
Petri net
Roads
Synchronization
Traffic control
traffic control system
Online AccessGet full text

Cover

More Information
Summary:Timed Petri net (TPN) has been utilized as a visual formalism for the modeling of complex discrete event dynamic systems. It illuminates the features on describing properties of causality and concurrency. Moreover, it is well-known that synchronized timed Petri net (STPN) allows us to present all of the concurrent states in complex TPN. In this paper, we propose a new methodology to design, analyze and implement an urban traffic network control system by using STPN. The applications of STPN to eight-phase, six-phase and two-phase traffic lights are illustrated. The advantage of the proposed approach is the clear presentation of traffic lights' behaviors in terms of conditions and events that cause the phases alternations. Moreover, the reach ability and reversibility properties of the control STPN will be obtained.
ISSN:1062-922X
2577-1655
DOI:10.1109/SMC.2013.72