In this paper, the problem of developing a model for signal control system with transit priority using Colored Petri Nets (CPNs) is considered. In a regular four phases signal lights control model, transit detection and two kinds of transit priority strategies are integrated to obtain Colored Petri Nets based transit priority signal control model. The resulting model ensures that transit can pass through intersection with no or less delay. In order to verify the correctness and reliability of the proposed model, the reachability graph is generated and analyzed. We also compare our model with some existing models in literature. This work helps advance the state-of-the-art in design of signal control model related to the intersections.