Modely pro koordinaci silně závislých světelných křižovatek

Abstract

The thesis deals with the coordination of traffic lights design by Petri nets and mathematical analysis of the spectral max-plus algebra. In the introduction it is analyzed the problem of coordination of traffic lights and describes the current state of its solution in the Czech Republic and abroad. The following control logic modeling isolated traffic lights in the Petri net modeling and coordination of selected traffic lights are heavily dependent equations max-plus algebra. The specific proposals are also described software tools used Snoopy, Pipe2 and Scilab. Finally, an evaluation of all computer experiments, resulting formulated recommendations for practice and summarizes the benefits of scientific work.