Deadlock Analysis and Prevention for Intersection Management Based on Colored Timed Petri Nets
Journal
Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022
Pages
124-127
Date Issued
2022
Author(s)
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.
Other Subjects
Colored timed Petri net; Deadlock analysis; Deadlock freeness; Deadlock prevention; Deadlock-free; Intersection managements; Specific information
Type
conference paper