Bc. Matyáš Fusek
Bachelor's thesis
Stochastické Petriho sítě
Stochastic Petri nets
Abstract:
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 …moreAbstract:
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.
Language used: Czech
Date on which the thesis was submitted / produced: 7. 5. 2024
Identifier:
https://is.muni.cz/th/balbb/
Thesis defence
- Date of defence: 20. 6. 2024
- Supervisor: Mgr. Ondřej Pokora, Ph.D.
- Reader: Mgr. Markéta Zoubková
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Přírodovědecká fakultaMasaryk University
Faculty of ScienceBachelor programme / field:
Mathematics / Statistics and data analysis
Theses on a related topic
-
Generating Petri Nets for Reliability Analysis of Smart Grids From UML Diagrams
Ondřej Marek -
Graphical User Interface for Modelling of Petri Nets
Adam Vaňko -
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ý -
Generating Petri Nets for Reliability Analysis of Smart Grids From UML Diagrams
Ondřej Marek -
Graphical User Interface for Modelling of Petri Nets
Adam Vaňko -
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
Jan Mačák