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