https://scholars.lib.ntu.edu.tw/handle/123456789/632484
Title: | Deadlock Analysis and Prevention for Intersection Management Based on Colored Timed Petri Nets | Authors: | Tsou T.-L CHUNG-WEI LIN HUI-RU JIANG |
Issue Date: | 2022 | Start page/Pages: | 124-127 | Source: | Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 | Abstract: | We 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. |
URI: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85130838169&doi=10.23919%2fDATE54114.2022.9774773&partnerID=40&md5=cd3b49c6ce911f1f980ec95654dd77a0 https://scholars.lib.ntu.edu.tw/handle/123456789/632484 |
DOI: | 10.23919/DATE54114.2022.9774773 | SDG/Keyword: | Colored timed Petri net; Deadlock analysis; Deadlock freeness; Deadlock prevention; Deadlock-free; Intersection managements; Specific information |
Appears in Collections: | 資訊工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.