Modeling traffic signal control systems using timed colour Petri nets. - Yi-Sheng Huang; Ta-Hsiang Chung; Che-Ting Chen (SMC, 2005)