Jazyky Petriho sítí a jejich akceptory
| but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Vladimír Drábek, CSc. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) doc. Ing. Tomáš Martínek, Ph.D. (člen) Ing. Petr Schwarz, 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 D . Otázky u obhajoby: Proč jste zvolil řešení, kdy nástroj zvolí první možnou nedeterministickou volbu a v připadě neúspěchu se již nevrátí? Jak složité by bylo doimplementovat do vašeho kódu plné procházení stavového prostoru? | 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 | Češka, Milan | cs |
| dc.contributor.author | Pavlů, Igor | cs |
| dc.contributor.referee | Rogalewicz, Adam | cs |
| dc.date.created | 2013 | cs |
| dc.description.abstract | Tato práce se zabývá P/T Petriho sítěmi a jazyky Petriho sítí. V práci jsou také uvažovány omega-jazyky a jejich vztak k Petriho sítím. Hlavní náplní práce je navržení akceptoru (rozšířené Petriho sítě) některých tříd jazyků Petriho sítí včetně implementace akceptoru těchto tříd jazyků. V práci jsou popsány algoritmy použité při implementaci (rozlišení typu jazyka, automarické vyhodnocení přijetí řetězce, generování řetězců). Na testech je demonstrována správná funkce akceptoru. | cs |
| dc.description.abstract | In this document P/T Petri nets and Petri nets languages are described. In this document omega-languages and relationship of omega-languages and Petri nets is also described. Main focus is set on design of acceptor (extended Petri net) of some classes of Petri nets languages and implementation of acceptor of this classes. Algorithms (recognition of language type, automatical accepting of string, strings generating) used in implementation of acceptor are described. Correct function of acceptor is demonstrated on tests. | en |
| dc.description.mark | D | cs |
| dc.identifier.citation | PAVLŮ, I. Jazyky Petriho sítí a jejich akceptory [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
| dc.identifier.other | 79617 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54823 | |
| 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 | jazyk Petriho sítě | cs |
| dc.subject | omega-jazyk | cs |
| dc.subject | akceptor jazyka | cs |
| dc.subject | Petri nets | en |
| dc.subject | Petri net language | en |
| dc.subject | omega-language | en |
| dc.subject | language acceptor | en |
| dc.title | Jazyky Petriho sítí a jejich akceptory | cs |
| dc.title.alternative | Petri Net Languages and Their Acceptors | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2013-06-13 | cs |
| dcterms.modified | 2020-05-10-16:11:25 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79617 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 17:58:02 | en |
| sync.item.modts | 2025.01.16 00:22:21 | 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 |