Modeling and analysis of transit signal priority control systems based on colored Petri nets.

Yisheng An, Cong Zhu, Pei Chen, Ying Li

Browse the full SMC paper archive.