Analýza distribuovaných algoritmů pomocí Petriho sítí

Abstract

Tato diplomová práce popisuje možnosti modelování a analýzy distribuovaných algoritmů pomocí Petriho sítí. Algoritmy typicky představené pomocí pseudokódu, jsou pomocí popsaných metod převedeny na Petriho sítě. Práce je doplněna řadou skriptů a animací, vytvořených ve volně dostupných programových prostředcích, pro další přiblížení čtenáři. Tato diplomová práce obsahuje shrnutí a porovnání monografií Elements of Distributed Algorithms od W. Reisiga s monografií Coloured Petri nets od K. Jensena a L. M. Kristensena.

This diploma thesis describes possibilities of modeling and analysis of distributed algorithms using Petri nets. Algorithms, typically introduced by pseudocode are converted to Petri nets using described methods. Thesis is extended by scripts and animations, created in freely available software, for further approach to reader. This diploma thesis contains summary and comparison between Elements of Distributed Algorithms by W. Reisig and Coloured Petri nets by K. Jensen and L. M. Kristensen.