Tsou T.-LCHUNG-WEI LINHUI-RU JIANG2023-06-092023-06-092022https://www.scopus.com/inward/record.uri?eid=2-s2.0-85130838169&doi=10.23919%2fDATE54114.2022.9774773&partnerID=40&md5=cd3b49c6ce911f1f980ec95654dd77a0https://scholars.lib.ntu.edu.tw/handle/123456789/632484We propose a Colored Timed Petri Net (CTPN) based model for intersection management. With the expressiveness of the CTPN-based model, we can consider timing, vehicle-specific information, and different types of vehicles. We then design deadlock-free policies and guarantee deadlock-freeness for intersection management. To the best of our knowledge, this is the first work on CTPN-based deadlock analysis and prevention for intersection management. © 2022 EDAA.Colored timed Petri net; Deadlock analysis; Deadlock freeness; Deadlock prevention; Deadlock-free; Intersection managements; Specific informationconference paper10.23919/DATE54114.2022.97747732-s2.0-85130838169