Petr Šlachta

Diplomová práce

Aplikace metod z teorie grafů pro analýzu Petriho sítí

Application of the Methods of Graph Theory to Analyze Petri Nets
Anotace:
V této práci popisujeme rozšíření nástroje pro editaci a analýzu P/T Petriho sítí, vyvíjeného na katedře informatiky. Nástroj je tvořen webovým grafickým editorem, analytickým serverem a databázovým úložištěm. V úvodu práce uvádíme základy z teorie Petriho sítí. V další části práce popisujeme metody z teorie grafů používané při analýze Petriho sítí a jejich aplikaci při testování vlastností Petriho …více
Abstract:
In this master thesis we describe the extensions and modifications of the tool for editing and analyzing of P/T Petri nets that is being developed at the department of computer science. The tool consists of web graphical editor, analysis server and database storage. We describe the fundamentals of Petri nets theory in the introduction. Then we describe methods of graph theory that can be used for Petri …více
 

Klíčová slova

diplomová práce Petriho sítě teorie grafů New Modified Reachability Tree automatický layout

Keywords

master thesis Petri nets graph theory New Modified Reachability Tree automatic layout
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 28. 4. 2017
Identifikátor: http://hdl.handle.net/10084/119133

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

  • Obhajoba proběhla 6. 6. 2017
  • Vedoucí: Pavla Dráždilová
  • Oponent: Martin Šurkovský

Citační záznam

Citovat tuto práci

Plný text práce

Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita Ostrava

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika

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

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