Traffic signal priority/preemption control with colored petri nets

A colored Petri net (CPN) model for traffic signal priority/preemption is described. The model incorporates the priority/preemption request of transit vehicles into traffic signal control. Compared with 'uncolored' Petri nets (PN), CPN provides a broader modeling capability for traffic signal priority control. A simple priority evaluation procedure is proposed to provide different priorities to multiple priority requests. An example for the queue jump phase modeled with CPN is presented.