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
Article Menu
Issue 1 (January) cover image

Export Article

Open AccessArticle
Appl. Sci. 2018, 8(1), 141; doi:10.3390/app8010141

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

School of Information Engineering, Chang’an University, Xi’an 710064, China
Institute of Systems Engineering, Macau University of Science and Technology, Taipa 999078, Macau
Author to whom correspondence should be addressed.
Received: 13 December 2017 / Revised: 6 January 2018 / Accepted: 17 January 2018 / Published: 19 January 2018
(This article belongs to the Section Computer Science and Electrical Engineering)
View Full-Text   |   Download PDF [3209 KB, uploaded 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

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. (CC BY 4.0).

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

SciFeed Share & Cite This Article

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.

Related Articles

Article Metrics

Article Access Statistics



[Return to top]
Appl. Sci. EISSN 2076-3417 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top