|
|
Simulation and traffic control using Petri nets
Zbranek, Matyáš ; Holoubek, Tomáš (referee) ; Dobrovský, Ladislav (advisor)
This bachelor thesis deals with the modelling, simulation and control of a real traffic light intersection using Petri nets. Nowadays, when many people own a car, road traffic and time spent on the road becomes an important part of life. Intersections are often critical places where traffic slows down or even stops. The theoretical part introduces Petri nets, some traffic management systems and studies that have solved traffic situations using Petri nets. The practical part relies on traffic measurements at the intersection. The traffic light model, car clearance and the model of the whole intersection are described. In order to make the traffic in the simulation as close as possible to the real behaviour, stochastically timed Petri nets are used. Furthermore, possible control sequences are proposed and simulated with different traffic volumes. Finally, all data are evaluated and the designs are compared. The PetNetSim library editor was used to generate the models.
|
|
|
Distributed Systems Simulation
Ďuriš, Anton ; Šeda, Miloš (referee) ; Matoušek, Radomil (advisor)
This thesis is focused on distributed systems modeling using Petri nets. Distributed systems are increasingly being implemented in applications and computing systems, where their task is to ensure sufficient performance and stability for a large number of its users. When modeling a distributed systems, stochastic behavior of Petri nets is important, which will provide more realistic simulations. Therefore, this thesis focuses mainly on timed Petri nets. The theoretical part of this thesis summarizes distributed systems, their properties, types and available architectures, as well as Petri nets, their representation, types and the principle of an operation. In the practical part, two models were implemented, namely a horizontally scaled web application divided into several services with a distributed database and a large grid computing system, more precisely the BOINC platform with the Folding@home project. Both models were implemented using the PetNetSim library of Python. The goal of this thesis is to perform simulations on the created models for different scenarios of their behavior.
|
|
|
Simulation and traffic control using Petri nets
Zbranek, Matyáš ; Holoubek, Tomáš (referee) ; Dobrovský, Ladislav (advisor)
This bachelor thesis deals with the modelling, simulation and control of a real traffic light intersection using Petri nets. Nowadays, when many people own a car, road traffic and time spent on the road becomes an important part of life. Intersections are often critical places where traffic slows down or even stops. The theoretical part introduces Petri nets, some traffic management systems and studies that have solved traffic situations using Petri nets. The practical part relies on traffic measurements at the intersection. The traffic light model, car clearance and the model of the whole intersection are described. In order to make the traffic in the simulation as close as possible to the real behaviour, stochastically timed Petri nets are used. Furthermore, possible control sequences are proposed and simulated with different traffic volumes. Finally, all data are evaluated and the designs are compared. The PetNetSim library editor was used to generate the models.
|
|
|
Distributed Systems Simulation
Ďuriš, Anton ; Šeda, Miloš (referee) ; Matoušek, Radomil (advisor)
This thesis is focused on distributed systems modeling using Petri nets. Distributed systems are increasingly being implemented in applications and computing systems, where their task is to ensure sufficient performance and stability for a large number of its users. When modeling a distributed systems, stochastic behavior of Petri nets is important, which will provide more realistic simulations. Therefore, this thesis focuses mainly on timed Petri nets. The theoretical part of this thesis summarizes distributed systems, their properties, types and available architectures, as well as Petri nets, their representation, types and the principle of an operation. In the practical part, two models were implemented, namely a horizontally scaled web application divided into several services with a distributed database and a large grid computing system, more precisely the BOINC platform with the Folding@home project. Both models were implemented using the PetNetSim library of Python. The goal of this thesis is to perform simulations on the created models for different scenarios of their behavior.
|
guest ::
