but.committee	doc. Ing. Vladimír Janoušek, Ph.D. (předseda) doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda) doc. Ing. Michal Bidlo, Ph.D. (člen) RNDr. Vlasta Krupková, CSc. (člen) Ing. Zbyněk Křivka, 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 "D".	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	Kočí, Radek	cs
dc.contributor.author	Matalík, Štěpán	cs
dc.contributor.referee	Janoušek, Vladimír	cs
dc.date.created	2018	cs
dc.description.abstract	Tato práce se zabývá objektově orientovanými Petriho sítěmi (OOPN) a tvorbou nástroje pro tvorbu a ověřování specifikačních modelů popsaných OOPN. V první části práce jsou popsány formalismy existujících typů Petriho sítí, včetně OOPN. Další část se zabývá tvorbou editačního nástroje, který také umožňuje spouštění simulačních modelů na vzdáleném serveru. Výstupem editoru je jednak grafická podoba Petriho sítě a také simulační model popsaný jazykem PNtalk, což je konkrétní implementace OOPN založená na jazyku Smalltalk. Simulační modely jsou spouštěny na serveru v prostředí Pharo. Na závěr práce jsou ukázány příklady konkrétních simulací a možná rozšíření nástroje.	cs
dc.description.abstract	The thesis deals with Object Oriented Petri Nets (OOPN) and with developing of tool for creation and verification of specification models. In the first part of the thesis are described formalisms of existing Petri net types, including OOPN. Next part involves in creation of editing tool, that also allows triggering of simulation models on a remote server. Editor output is a graphic diagram of Petri net and also a simulation model described in PNtalk language, which is the implementation of OOPN based on Smalltalk language. Simulation models runs on the server in Pharo Smalltalk enviroment. At the end of the thesis are shown examples of appropriate simulations and possible tool extensions.	en
dc.description.mark	D	cs
dc.identifier.citation	MATALÍK, Š. Framework pro tvorbu a ověřování specifikačních modelů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2018.	cs
dc.identifier.other	114515	cs
dc.identifier.uri	http://hdl.handle.net/11012/85266
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ítě	cs
dc.subject	Java	cs
dc.subject	Editor Petriho sítí	cs
dc.subject	Objektově orientované Petriho sítě	cs
dc.subject	PNtalk	cs
dc.subject	IntelliJ IDEA	cs
dc.subject	Pharo.	cs
dc.subject	Petri nets	en
dc.subject	Java	en
dc.subject	Petri net editor	en
dc.subject	Object oriented Petri nets	en
dc.subject	PNtalk	en
dc.subject	IntelliJ IDEA	en
dc.subject	Pharo.	en
dc.title	Framework pro tvorbu a ověřování specifikačních modelů	cs
dc.title.alternative	Framework for Creation and Verification of Specification Models	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2018-06-13	cs
dcterms.modified	2020-05-09-23:41:12	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	114515	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:09:05	en
sync.item.modts	2025.01.17 11:30:47	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

Framework pro tvorbu a ověřování specifikačních modelů

Files

Original bundle

Collections