A Continuous Petri Net Approach for Model Predictive Control of Traffic Systems | IEEE Journals & Magazine | IEEE Xplore