Generating Petri Nets for Reliability Analysis of Smart Grids From UML Diagrams – Ondřej Marek
Ondřej Marek
Master's thesis
Generating Petri Nets for Reliability Analysis of Smart Grids From UML Diagrams
Generating Petri Nets for Reliability Analysis of Smart Grids From UML Diagrams
Anotácia:
Moderní technologie a infrastruktury jsou stále komplexnější a vyvstala potřeba předvídat a hodnotit jejich spolehlivost. Za tímto účelem se typicky vytvoří zjednodušený model, který je následně podroben analýze pro získání nových informací o původním systému. Tato diplomová práce popisuje účel, návrh, implementaci, použití a ověření multiplatformní počítačové aplikace, která dovoluje uživatelům modelovat …viacAbstract:
Modern technologies and infrastructures are becoming increasingly complex and the need for predicting and assessing their reliability arose. In most cases a simplified model of the examined system is created and analysed to obtain new information. This thesis documents the purpose, design, implementation, usage and verification of a multi-platform desktop application which provides its users with the …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 18. 5. 2021
Identifikátor:
https://is.muni.cz/th/lk9bb/
Obhajoba závěrečné práce
- Obhajoba proběhla 25. 6. 2021
- Vedúci: RNDr. Stanislav Chren
- Oponent: PhD Bruno Rossi
Citační záznam
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, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Software systems and services management / Services development management
Práce na příbuzné téma
-
Parameter Synthesis in Continuous-Time Stochastic Systems
Ľuboš Korenčiak -
Multi-layered Reliability Analysis of Smart Grids
Stanislav Chren -
Multi-layered Reliability Analysis in Smart Grids
Stanislav Chren -
Problematika "Smart grid"
Jan Kalwar -
Graphical User Interface for Modelling of Petri Nets
Adam Vaňko