Výukový nástroj pro barvené Petriho sítě
| but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Dr. Ing. Dušan Kolář (místopředseda) Ing. Martin Hrubý, Ph.D. (člen) doc. Ing. Vladimír Janoušek, Ph.D. (člen) prof. Ing. Radomil Matoušek, Ph.D. (člen) doc. Ing. František Zbořil, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak 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 C. Otázky u obhajoby: Proč jste zvolil jiný styl inskripčního jazyka než který používá CPNTools? Skutečně nebylo možné použít PNML pro ukládání modelů? Pro budoucí využití nástroje by to bylo jistě přínosem. | 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 | Rogalewicz, Adam | cs |
| dc.contributor.author | Navrátil, Ondřej | cs |
| dc.contributor.referee | Kočí, Radek | cs |
| dc.date.created | 2013 | cs |
| dc.description.abstract | Barvené Petriho sítě (CPN) jsou rozšířením klasických place-transition Petriho sítí (P/T PN). Všechny tokeny a místa zde mají svůj typ (příp. i hodnotu), do sítě lze dále vkládat různé typy inskripcí. CPN vynikají svou snadnou čitelností a skvělou vyjadřovací schopností. Zároveň disponují pevnými formálními podklady, jenž usnadňují jejich počítačovou simulaci a v omezené míře umožňují verifikovat některé vlastnosti. Motivací tohoto projektu je fakt, že v současnosti je veřejně dostupný pouze jediný nástroj pro úpravu a simulaci CPN, a sice CPNTools vyvíjený na univerzitě v Aarhusu. Program je však komplikovaný a pro nezainteresovaného uživatele obtížně uchopitelný. Cílem projektu je prozkoumat možnosti a vlastnosti CPN a nástroje CPNTools a na základě získaných znalostí navrhnout a implementovat didaktickou aplikaci se svižným a intuitivním rozhraním, která umožní uživatelům bez hlubších teoretických vědomostí získat přehled o problematice CPN. | cs |
| dc.description.abstract | Coloured Petri nets (CPN) are an extension of a standard place-transition Petri nets (P/T PN). Every token and place have its type (and eventually a value) and various inscriptions can be inserted into the net. CPN excel with great readibility and expresivity. At the same time, they carry a well-defined formal basis, which eases its computer simulation and allows limited verification of certain attributes to be performed. Motivation for doing this project is the simple fact that currently only one public software tool is available for CPN creation and simulation - CPNTools developed on the Aarhus university. The program, however, is quite complicated and hard to handle for an unexperienced user. The goal is to research capabilities and properties of both CPNs and CPNTools and on this basis design and implement a didactic application with swift and intuitive interface that helps users without deeper theoretical insight to get a grasp of the problematics. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | NAVRÁTIL, O. Výukový nástroj pro barvené Petriho sítě [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
| dc.identifier.other | 79282 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/53413 | |
| 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 | barvené Petriho sítě | cs |
| dc.subject | CPNTools | cs |
| dc.subject | Qt | cs |
| dc.subject | Flex | cs |
| dc.subject | Bison | cs |
| dc.subject | Petri nets | en |
| dc.subject | coloured Petri nets | en |
| dc.subject | CPNTools | en |
| dc.subject | Qt | en |
| dc.subject | Flex | en |
| dc.subject | Bison | en |
| dc.title | Výukový nástroj pro barvené Petriho sítě | cs |
| dc.title.alternative | Educational Tool for Coloured Petri Nets | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2013-06-20 | cs |
| dcterms.modified | 2020-05-10-16:11:08 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79282 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:14:25 | en |
| sync.item.modts | 2025.01.15 17:16:36 | en |
| thesis.discipline | Matematické metody v informačních technologiích | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |