Bc. Matyáš Fusek
Bakalářská práce
Stochastické Petriho sítě
Stochastic Petri nets
Anotace:
V této bakalářské práci se věnujeme stochastickým Petriho sítím. Nejprve se seznámíme se standardními Petriho sítěmi, některými jejími vlastnostmi a metodami analýzy. V následující kapitole se věnujeme markovským procesům, zejména řetězcům s diskrétním i spojitým časem. V poslední kapitole si zadefinujeme stochastické Petriho sítě a zobecněné stochastické Petriho sítě a využijeme aparátu markovských …víceAbstract:
In this thesis we study stochastic Petri nets. Firstly, we study standard Petri nets, some of their properties and methods of analysis. In the next chapter we study Markov processes, especially chains in both discrete and continuous time. Finally, we define stochastic Petri nets and generalized stochastic Petri nets and we use framework of Markov chains for their analysis.
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 7. 5. 2024
Identifikátor:
https://is.muni.cz/th/balbb/
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 6. 2024
- Vedoucí: Mgr. Ondřej Pokora, Ph.D.
- Oponent: Mgr. Markéta Zoubková
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Přírodovědecká fakultaMasarykova univerzita
Přírodovědecká fakultaBakalářský studijní program / obor:
Matematika / Statistika a analýza dat
Práce na příbuzné téma
-
Graphical User Interface for Modelling of Petri Nets
Adam Vaňko -
Generating Petri Nets for Reliability Analysis of Smart Grids From UML Diagrams
Ondřej Marek -
Markovské řetězce v analýze přežití
Veronika Bendová -
Markovské řetězce s oceněním přechodů
Jakub Hurta -
Markovské řetězce a stochastické matice
Juraj Kapasný -
Graphical User Interface for Modelling of Petri Nets
Adam Vaňko -
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
Jan Mačák -
Generating Petri Nets for Reliability Analysis of Smart Grids From UML Diagrams
Ondřej Marek