Yi-Sheng Huang, Ta-Hsiang Chung, Che-Ting Chen. Modeling traffic signal control systems using timed colour Petri nets. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005. pages 1759-1764, IEEE, 2005. [doi]
Abstract is missing.