@inproceedings{2c0ae6c5e84643909ebf7c8bbe333308,
title = "Modeling and control of urban road intersections with incidents via timed Petri nets",
abstract = "Petri nets (PNs) are well utilized as a visual and mathematical formalism in modeling, analysis and control of urban traffic. This work adopts timed Petri nets to design a traffic-signal-based emergency control policy such that emergency response is provided and the incident-induced large-scale congestion is prevented. A reachability graph method is adopted to demonstrate how the models are used to enforce the phase of traffic signal transitions. It improves the state of the art in traffic incident response and control.",
keywords = "Petri nets, intersection incident control, timed Petri nets, traffic safety, traffic signal control",
author = "Liang Qi and Mengchu Zhou and Wenjing Luan",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 2015 12th IEEE International Conference on Networking, Sensing and Control, ICNSC 2015 ; Conference date: 09-04-2015 Through 11-04-2015",
year = "2015",
month = jun,
day = "1",
doi = "10.1109/ICNSC.2015.7116032",
language = "English (US)",
series = "ICNSC 2015 - 2015 IEEE 12th International Conference on Networking, Sensing and Control",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "185--190",
booktitle = "ICNSC 2015 - 2015 IEEE 12th International Conference on Networking, Sensing and Control",
address = "United States",
}