https://scholars.lib.ntu.edu.tw/handle/123456789/632484
標題: | Deadlock Analysis and Prevention for Intersection Management Based on Colored Timed Petri Nets | 作者: | Tsou T.-L CHUNG-WEI LIN HUI-RU JIANG |
公開日期: | 2022 | 起(迄)頁: | 124-127 | 來源出版物: | Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 | 摘要: | 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/關鍵字: | Colored timed Petri net; Deadlock analysis; Deadlock freeness; Deadlock prevention; Deadlock-free; Intersection managements; Specific information |
顯示於: | 資訊工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。