Modelování světelné křižovatky v Petriho sítích

Abstract

This thesis deals with the issues of signalized intersection modeling using tools for modeling in Petri Nets. Part one concerns itself with basic knowledge of the Snoopy software environment, an alternative tool to the HP SIM environment. Another part deals with the analysis of conditions of the selected intersection 17. listopadu/Opavská. This bachelor’s thesis includes the creation of a functional intersection model and a subsequent verification of this model. The model is ultimately used for testing in a variety of traffic conditions.