Lamghari Elidrissi, H.; Nait Sidi Moh, A.; Tajer, A. Modular Design and Adaptive Control of Urban Signalized Intersections Systems Using Synchronized Timed Petri Nets. Comput. Inform. 2022, 41, 590–608.