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

Abstract

Tato práce se zabývá problematikou modelování světelné křižovatky s využitím nástrojů pro modelování v Petriho sítích. V první části jsou zpracovány základní poznatky o softwarovém prostředí Snoopy, které je alternativním nástrojem k prostředí HPSim. Další část se zabývá analýzou podmínek vybrané křižovatky 17.listopadu/Opavská. Součástí bakalářské práce je rovněž vytvoření funkčního modelu křižovatky a následná verifikace tohoto modelu. Nakonec je model použit pro testování za různých dopravních podmínek.

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.