Modeling traffic signal control systems using timed colour Petri nets.

Yi-Sheng Huang, Ta-Hsiang Chung, Che-Ting Chen

Browse the full SMC paper archive.