Tsung-Lin Tsou, Chung-Wei Lin, Iris Hui-Ru Jiang. Deadlock Analysis and Prevention for Intersection Management Based on Colored Timed Petri Nets. In Cristiana Bolchini, Ingrid Verbauwhede, Ioana Vatajelu, editors, 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022. pages 124-127, IEEE, 2022. [doi]
Abstract is missing.