Abstract: This paper mainly addresses the issue of designing safety Petri net-based controllers to prevent vehicle flow deadlocks at intersections. The designed controller can monitor the flow of ...