Modelování a simulace řízené křižovatky

Abstract

The main objective of the thesis is to deal with the modeling of the light controlled intersections using tools for modeling in Petri nets. The first part discuss the traffic information systems that can be found in Ostrava. Further, the theis concentrates on the selected intersection Rudná/Závodní. The scheme of the creation of a functional model and a subsequent verification of this model can be found in the thesis. Finally, the model is used to simulate the traffic situations.