Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Petri CA (1962) Communication with automata, supplement 1 to technical report RADC-TR-65-337, NY, 1965. Translation by CF Greene of Kommunikation mit Automaten. Diss. PhD Dissertation, University of Bonn
Rozenburg G, Engelfriet J (1998) Elementary net systems. In: Lectures on petri nets I: basic models–advances in petri nets. LNCS, vol 1491. Springer, pp 12–121
Devillers R, Antti V (2015) Application and theory of petri nets and concurrency. Springer International Publishing
Ng KM, Reaz MBI, Ali MAM (2013) A review on the applications of Petri nets in modeling, analysis, and control of urban traffic. IEEE Trans Intell Transp Syst 14(2):858–870
Křivda V (2004) Design of a light signaling device—calculations of fixed signaling plans (in Czech, VSB-TU) in Ostrava, Ostrava (2004) (Citation 19. 2. 2015). http://kds.vsb.cz/ord/ppt/ORD-SSZ-navrh.ppt
Gaj J, Kotyrba M, Volna E (2016) Possibilities of control and optimization of traffic at crossroads using petri nets. In: Information Science and applications (ICISA) 2016. Springer, Singapore, pp 21–29
Kotyrba M, Gaj J, Tvarůžka M (2017) The methodology for modeling queuing systems using Petri nets. In: AIP Conference Proceedings, vol 1863, no 1. AIP Publishing
Acknowledgements
The research described here has been financially supported by the University of Ostrava grant SGS/PrF/2018.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Kotyrba, M., Volna, E., Gaj, J. (2019). Saturated Flow Method for Traffic Optimization in Ostrava City. In: Kim, K., Baek, N. (eds) Information Science and Applications 2018. ICISA 2018. Lecture Notes in Electrical Engineering, vol 514. Springer, Singapore. https://doi.org/10.1007/978-981-13-1056-0_39
Download citation
DOI: https://doi.org/10.1007/978-981-13-1056-0_39
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-1055-3
Online ISBN: 978-981-13-1056-0
eBook Packages: EngineeringEngineering (R0)