https://scholars.lib.ntu.edu.tw/handle/123456789/632484
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.author | Tsou T.-L | en-US |
dc.contributor.author | CHUNG-WEI LIN | en-US |
dc.contributor.author | HUI-RU JIANG | en-US |
dc.creator | Tsou T.-L;Lin C.-W;Jiang I.H.-R. | - |
dc.date.accessioned | 2023-06-09T07:55:14Z | - |
dc.date.available | 2023-06-09T07:55:14Z | - |
dc.date.issued | 2022 | - |
dc.identifier.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85130838169&doi=10.23919%2fDATE54114.2022.9774773&partnerID=40&md5=cd3b49c6ce911f1f980ec95654dd77a0 | - |
dc.identifier.uri | https://scholars.lib.ntu.edu.tw/handle/123456789/632484 | - |
dc.description.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. | - |
dc.relation.ispartof | Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 | - |
dc.subject.other | Colored timed Petri net; Deadlock analysis; Deadlock freeness; Deadlock prevention; Deadlock-free; Intersection managements; Specific information | - |
dc.title | Deadlock Analysis and Prevention for Intersection Management Based on Colored Timed Petri Nets | en_US |
dc.type | conference paper | en |
dc.identifier.doi | 10.23919/DATE54114.2022.9774773 | - |
dc.identifier.scopus | 2-s2.0-85130838169 | - |
dc.relation.pages | 124-127 | - |
item.openairetype | conference paper | - |
item.fulltext | no fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_5794 | - |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
crisitem.author.dept | Computer Science and Information Engineering | - |
crisitem.author.dept | Networking and Multimedia | - |
crisitem.author.dept | Electrical Engineering | - |
crisitem.author.dept | Electronics Engineering | - |
crisitem.author.orcid | 0000-0001-8309-7028 | - |
crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
顯示於: | 資訊工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。