Mgr. Jan Havlíček

Bachelor's thesis

Grafický webový editor LTS a nástroj pro počítání bisimulace

Web graphical LTS editor and bisimulator
Abstract:
Práce se zabývá přechodovými systémy a relací bisimulace. Výstupem je applet umožňující návrh přechodového systému a názornou demonstraci průběhu výpočtu bisimulace metodou postupných aproximací. V úvodních kapitolách jsou rozebrány použité pojmy a algoritmy, následuje popis jejich implementace a v závěru lze nalézt uživatelskou příručku k aplikaci včetně ukázkových příkladů.
Abstract:
This thesis addresses the topic of labeled transition systems and bisimilarity relation. Its result is an applet capable of designing labeled transition systems and visual demonstration of bisimilarity relation computation using the method of gradual approximations. All necessary definitions and algorithms are introduced in the first two chapters, followed by the description of their implementation …more
 

Keywords

Přechodový systém LTS bisimulace metoda postupných aproximací applet force-directed placement
 
Language used: Czech
Date on which the thesis was submitted / produced: 19. 5. 2011
Identifier: https://is.muni.cz/th/fljbs/

Thesis defence

  • Date of defence: 24. 6. 2011
  • Supervisor: prof. RNDr. Jiří Barnat, Ph.D.
  • Reader: prof. RNDr. Mojmír Křetínský, 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:
Informatics / Mathematical Informatics

Theses on a related topic

List of theses with an identical keyword.