|
|
Simulace a řízení silničního provozu pomocí Petriho sítí
Zbranek, Matyáš ; Holoubek, Tomáš (oponent) ; Dobrovský, Ladislav (vedoucí práce)
Tato bakalářská práce se zabývá modelováním, simulováním a řízením reálné světelné křižovatky pomocí Petriho sítí. V dnešní době, kdy mnoho lidí vlastní automobil, se silniční provoz a čas strávený na cestách stává důležitou součástí života. Křižovatky jsou často kritickými místy, kde se provoz zpomaluje, případně i zastavuje. V teoretické části jsou představeny Petriho sítě, některé systémy řízení provozu a studie, které řešily dopravní situace pomocí Petriho sítí. Praktická část se opírá o měření provozu na křižovatce. Je popsán model semaforu, odbavování automobilů a model celé křižovatky. Aby byl provoz v simulaci co nejblíže reálnému chování, jsou použity stochasticky časované Petriho sítě. Dále jsou navrženy možné sekvence řízení a provedeny jejich simulace s odlišnými intenzitami provozu. Nakonec jsou všechna data vyhodnocena a návrhy porovnány. Pro vytváření modelů byl použit editor knihovny PetNetSim.
|
|
|
Distributed Systems Simulation
Ďuriš, Anton ; Šeda, Miloš (oponent) ; Matoušek, Radomil (vedoucí práce)
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.
|
|
|
Simulace a řízení silničního provozu pomocí Petriho sítí
Zbranek, Matyáš ; Holoubek, Tomáš (oponent) ; Dobrovský, Ladislav (vedoucí práce)
Tato bakalářská práce se zabývá modelováním, simulováním a řízením reálné světelné křižovatky pomocí Petriho sítí. V dnešní době, kdy mnoho lidí vlastní automobil, se silniční provoz a čas strávený na cestách stává důležitou součástí života. Křižovatky jsou často kritickými místy, kde se provoz zpomaluje, případně i zastavuje. V teoretické části jsou představeny Petriho sítě, některé systémy řízení provozu a studie, které řešily dopravní situace pomocí Petriho sítí. Praktická část se opírá o měření provozu na křižovatce. Je popsán model semaforu, odbavování automobilů a model celé křižovatky. Aby byl provoz v simulaci co nejblíže reálnému chování, jsou použity stochasticky časované Petriho sítě. Dále jsou navrženy možné sekvence řízení a provedeny jejich simulace s odlišnými intenzitami provozu. Nakonec jsou všechna data vyhodnocena a návrhy porovnány. Pro vytváření modelů byl použit editor knihovny PetNetSim.
|
|
|
Distributed Systems Simulation
Ďuriš, Anton ; Šeda, Miloš (oponent) ; Matoušek, Radomil (vedoucí práce)
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.
|
host ::
RSS.