Based on Synchronized Timed Petri Nets for Urban Traffic Control Systems.

Yi-Sheng Huang, Yi-Shun Weng, MuDer Jeng, Bo-Yang Chen

Browse the full SMC paper archive.