Back to search

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
Abstract:
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 …more
Abstract:
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 …more
 

Keywords

System reliability dependability smart grid UML diagram Petri net stochastic reward net reliability analysis SPNP
 
Language used: English
Date on which the thesis was submitted / produced: 18. 5. 2021
Identifier: https://is.muni.cz/th/lk9bb/

Thesis defence

  • Date of defence: 25. 6. 2021
  • Supervisor: RNDr. Stanislav Chren
  • Reader: PhD Bruno Rossi

Citation record

Cite this text

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, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Software systems and services management / Services development management

Theses on a related topic

List of theses with an identical keyword.