Petri nets; Saturated flow; Traffic optimization

This article discusses the possibility of verifying whether the formalism of Petri nets suitable for the optimization of transport systems. This work discusses the optimization of automotive traffic using the saturation flow method. The main aim of the article is to propose and validate a methodology for optimizing transport systems with saturation flow methods. There are discussed several optimization methods that are used for this purpose. The results of this search section were summarized and then a suitable model and an optimization method were chosen according to established criteria. Based on them we have proposed methodology that was verified pursuant to the application of the chosen procedures. One of Ostrava?s most interrupted crossroads was chosen as a model for optimization and simulation. Results of the experimental study are summarized in the conclusion. From the results of the experimental study, it can be stated that the static signaling model has been optimized in terms of time.