Bc. Mário Uhrík

Bachelor's thesis

Benchmark of Stochastic Models

Benchmark of Stochastic Models
Abstract:
Deterministické a stochastické Petriho siete (DSPN) a Markovove reťazce v spojitom čase s fixnými udalosťami (fdCTMC) sú ekvivalentné formalizmy reprezentujúce triedu stochastických systémov užitočnú na modelovanie procesov z reálneho sveta. Dva z najnovších a aktívne vyvíjaných nástrojov sú Oris pre DSPN a fdPRISM pre fdCTMC. Cieľom tejto práce bolo vyvinúť ľahko použiteľnú zbierku modelov pre tieto …more
Abstract:
Deterministic and stochastic Petri net (DSPN) and fixed-delay continuous-time Markov chain (fdCTMC) are equivalent formalisms that represent a class of stochastic systems useful in modeling real-world processes. Two of the newest and actively developed tools are Oris for DSPN and fdPRISM for fdCTMC. The purpose of this thesis was to develop easy to use benchmark for these two tools. The text of this …more
 

Keywords

deterministic and stochastic Petri net (DSPN) Oris tool fixed-delay continuous-time Markov chain (fdCTMC) fdPRISM PRISM model checker
 
Language used: English
Date on which the thesis was submitted / produced: 29. 5. 2017
Identifier: https://is.muni.cz/th/yqv46/

Thesis defence

  • Date of defence: 28. 6. 2017
  • Supervisor: Mgr. Ľuboš Korenčiak
  • Reader: prof. RNDr. Ivana Černá, CSc.

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

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.