Petr Šlachta

Master's thesis

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

Application of the Methods of Graph Theory to Analyze Petri Nets
Abstract:
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 …more
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 …more
 
 
Language used: Czech
Date on which the thesis was submitted / produced: 28. 4. 2017

Thesis defence

  • Date of defence: 6. 6. 2017
  • Supervisor: Pavla Dráždilová
  • Reader: Martin Šurkovský

Citation record

Full text of thesis

Accessibility: 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.

Contents of on-line thesis archive
Published in Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB - Technická univerzita Ostrava

VŠB - Technical University of Ostrava

Fakulta elektrotechniky a informatiky

Master programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika