An Application of Queuing Theory to Rotary Intersection Traffic Model and Control Using Safe Petri-net for Deadlock Avoidance

摘要

This paper focuses on the effect of Poisson arrival at a low-capacity entrance in a rotary intersection model. The model is constructed using Mark Flow Graph which is a kind of safe Petri-net. The purpose is deadlock avoidance. The arrival interval of car was found to change the deadlock time. This paper propose an Entrance passing and Exit passing control system using a waiting agent counter at each entrance.