Modeling and analysis of transit signal priority control systems based on colored Petri nets | IEEE Conference Publication | IEEE Xplore