Demonstrace vlastností značených grafů
| but.committee | doc. Ing. Vladimír Janoušek, Ph.D. (předseda) doc. Ing. Vladimír Drábek, CSc. (místopředseda) doc. Ing. Vítězslav Beran, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (č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ázku 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 "A". Otázky u obhajoby: V kap. 3.3.3 uvádíte, že nástroj PIPE2 považujete za referenční a výsledky analýz mohou být porovnávány s vaším nástrojem. Toto porovnání jsem nikde nenašel - proveďte stručné srovnání vašeho nástroje a obdobných, mj. i PIPE2. | 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 | Horák, Michal | cs |
| dc.contributor.referee | Kočí, Radek | cs |
| dc.date.created | 2014 | cs |
| dc.description.abstract | Tato práce prezentuje problematiku Petriho sítí jakožto modelovacího prostředku. Probrány jsou jejich vlastnosti a dělení na podtřídy, jejichž součástí jsou značené grafy. Cílem práce je analýza stavového prostoru Petriho sítí za účelem zkoumání jejich vlastností. Výsledkem práce je nástroj, který umožní tuto analýzu a případně rozšíří využití Petriho sítí. | cs |
| dc.description.abstract | This thesis presents Petri nets as a modelling tool, defines their features and subclasses, including marked graphs. The goal of this paper is to inspect the features of Petri nets by analyzing their state space. As the output of this thesis, a tool for analyzing the features will be designed and implemented, with potential to extend the usability of Petri nets. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | HORÁK, M. Demonstrace vlastností značených grafů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2014. | cs |
| dc.identifier.other | 79657 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/56637 | |
| 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 | značené grafy | cs |
| dc.subject | strom dosažitelných značení | cs |
| dc.subject | modelování systémů | cs |
| dc.subject | PNML | cs |
| dc.subject | PNC | cs |
| dc.subject | PIPE2. | cs |
| dc.subject | Petri nets | en |
| dc.subject | marked graphs | en |
| dc.subject | reachability tree | en |
| dc.subject | systems modelling | en |
| dc.subject | PNML | en |
| dc.subject | PNC | en |
| dc.subject | PIPE2. | en |
| dc.title | Demonstrace vlastností značených grafů | cs |
| dc.title.alternative | Demonstration of Marked Graphs Features | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2014-06-17 | cs |
| dcterms.modified | 2020-05-10-16:11:27 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79657 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 18:48:31 | en |
| sync.item.modts | 2025.01.15 16:41:02 | 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 |