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

A New Modeling Methodology of Urban Traffic Lights Based on Timed Coloured Petri Nets. - Yi-Sheng Huang; Ta-Hsiang Chung; Ting-Hui Lin (SMC, 2006)

Design of a Supervisor for Traffic Light Systems. - Ta-Hsiang Chung; Yi-Sheng Huang (KES (2), 2007)

Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets. - Yi-Sheng Huang; Ta-Hsiang Chung (J. Inf. Sci. Eng., 2008)