but.committee	doc. Ing. Vladimír Janoušek, Ph.D. (předseda) doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda) Ing. Lukáš Kekely, Ph.D. (člen) Dr. Ing. Petr Peringer (člen) Ing. Libor Polčák, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm B. Otázky u obhajoby: U definic Petriho sítí uvádíte netradiční notaci, např. průsek a spojení místo průnik a sjednocení množin. Mimo jiné uvádíte podmínku pro množiny míst P a přechodů T: P spojení T je prázdná množina, tj. množiny P a T jsou prázdné. Vysvětlete vámi zvolenou notaci. Stručně popište vlastnosti navrženého simulátoru z pohledu tvorby modelů distribuovaných řídicích systémů.	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Janoušek, Vladimír	cs
dc.contributor.author	Grigorev, Danil	cs
dc.contributor.referee	Kočí, Radek	cs
dc.date.created	2019	cs
dc.description.abstract	Tato práce je zaměřená na implementací interpretu vysokoúrovňových Petriho sítí v jayzce Python za použítí knihovny SNAKES. Je schopná provadění a pokročilé vizualizace navyřených sítí, které jsou popsané v jayzce Python. Vysledný simulator odpovidá zasadům distribuo- vaného systému, a podporuje provádí v realném čase. Konečný užívatel bude mít příležitost vyzkoušet intuitivní API pro vytvoření a spouštění vysokoúrovňových Petriho sítí.	cs
dc.description.abstract	This work is targeting a goal of implementing a high level Petri net interpret in Python. The implementation is based on SNAKES library. The final product is capable of executing and visualising Petri nets, created by user. The simulator is based on distributed systems theory and is executed in real-time. The end user is able to experience a simple and human-friendly API, made for creation and execution of High-Level Petri Nets.	en
dc.description.mark	B	cs
dc.identifier.citation	GRIGOREV, D. Interpret vysokoúrovňových Petriho sítí v Pythonu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.	cs
dc.identifier.other	121992	cs
dc.identifier.uri	http://hdl.handle.net/11012/180163
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	Petriho síť	cs
dc.subject	Python	cs
dc.subject	HLPN	cs
dc.subject	simulace	cs
dc.subject	simulator	cs
dc.subject	topení	cs
dc.subject	interpret	cs
dc.subject	real-time	cs
dc.subject	SNAKES	cs
dc.subject	graf	cs
dc.subject	Petri Net	en
dc.subject	Python	en
dc.subject	HLPN	en
dc.subject	simulation	en
dc.subject	interpret	en
dc.subject	real-time	en
dc.subject	SNAKES	en
dc.subject	graph	en
dc.title	Interpret vysokoúrovňových Petriho sítí v Pythonu	cs
dc.title.alternative	High-Level Petri Nets Interpreter in Python	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2019-06-13	cs
dcterms.modified	2019-07-08-13:31:22	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	121992	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:23:44	en
sync.item.modts	2025.01.15 21:12:06	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Interpret vysokoúrovňových Petriho sítí v Pythonu

Files

Original bundle

Collections