Deadlock Analysis and Prevention for Intersection Management Based on Colored Timed Petri Nets.

Tsung-Lin Tsou, Chung-Wei Lin, Iris Hui-Ru Jiang

Browse the full DATE paper archive.