Aplikace metod z teorie grafů pro analýzu Petriho sítí – Petr Šlachta
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 …moreAbstract:
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
Identifier:
http://hdl.handle.net/10084/119133
Thesis defence
- Date of defence: 6. 6. 2017
- Supervisor: Pavla Dráždilová
- Reader: Martin Šurkovský
Citation record
ISO 690-compliant citation record:
ŠLACHTA, Petr. \textit{Aplikace metod z teorie grafů pro analýzu Petriho sítí}. Online. Master's thesis. Ostrava: VŠB - Technical University of Ostrava, Fakulta elektrotechniky a informatiky. 2017. Available from: https://theses.cz/id/jwv12k/.
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 OstravaVŠB - Technical University of Ostrava
Fakulta elektrotechniky a informatikyMaster programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika
Theses on a related topic
-
Návrh optimalizace dat uličního grafu města Brna pro síťovou analýzu
Jan Havlas -
Aplikace metod teorie grafů při řešení manažerských problémů.
Jaroslav El -
Využití teorie grafů pro návrh a optimalizaci architektur datových sítí
Adam Římský -
Generating Petri Nets for Reliability Analysis of Smart Grids From UML Diagrams
Ondřej Marek -
Graphical User Interface for Modelling of Petri Nets
Adam Vaňko -
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
Jan Mačák -
Neurčitost a spravedlivost při modelování v Petri sítích
Martin Ibl