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
Anotácia:
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 …viac
 

Kľúčové slová

Přechodový systém LTS bisimulace metoda postupných aproximací applet force-directed placement
 
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 19. 5. 2011
Identifikátor: https://is.muni.cz/th/fljbs/

Obhajoba závěrečné práce

  • Obhajoba proběhla 24. 6. 2011
  • Vedúci: prof. RNDr. Jiří Barnat, Ph.D.
  • Oponent: prof. RNDr. Mojmír Křetínský, CSc.

Citační záznam

Citovat tuto práci

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 informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Mathematical Informatics

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.