Next Article in Journal
Variability of Hydroacoustic Noise Probability Density Function at the Output of Automatic Gain Control System
Previous Article in Journal
Agile Attitude Control and Singularity Avoidance/Escape by the SDRE Method Using a Biased State-Dependent Weighting Matrix
Open AccessArticle

Hierarchical Colored Petri Nets for Modeling and Analysis of Transit Signal Priority Control Systems

1
School of Information Engineering, Chang’an University, Xi’an 710064, China
2
Institute of Systems Engineering, Macau University of Science and Technology, Taipa 999078, Macau
*
Author to whom correspondence should be addressed.
Appl. Sci. 2018, 8(1), 141; https://doi.org/10.3390/app8010141
Received: 13 December 2017 / Revised: 6 January 2018 / Accepted: 17 January 2018 / Published: 19 January 2018
In this paper, we consider the problem of developing a model for traffic signal control with transit priority using Hierarchical Colored Petri nets (HCPN). Petri nets (PN) are useful for state analysis of discrete event systems due to their powerful modeling capability and mathematical formalism. This paper focuses on their use to formalize the transit signal priority (TSP) control model. In a four-phase traffic signal control model, the transit detection and two kinds of transit priority strategies are integrated to obtain the HCPN-based TSP control models. One of the advantages to use these models is the clear presentation of traffic light behaviors in terms of conditions and events that cause the detection of a priority request by a transit vehicle. Another advantage of the resulting models is that the correctness and reliability of the proposed strategies are easily analyzed. After their full reachable states are generated, the boundness, liveness, and fairness of the proposed models are verified. Experimental results show that the proposed control model provides transit vehicles with better effectiveness at intersections. This work helps advance the state of the art in the design of signal control models related to the intersection of roadways. View Full-Text
Keywords: Petri nets; modeling; traffic signal control; transit priority; state spaces Petri nets; modeling; traffic signal control; transit priority; state spaces
Show Figures

Figure 1

MDPI and ACS Style

An, Y.; Wu, N.; Zhao, X.; Li, X.; Chen, P. Hierarchical Colored Petri Nets for Modeling and Analysis of Transit Signal Priority Control Systems. Appl. Sci. 2018, 8, 141.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop