Knihovna vzorů Petriho sítí
Loading...
Date
Authors
Hanák, Martin
Advisor
Referee
Mark
C
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
ORCID
Abstract
Tato bakalářská práce se zabývá vytvářením modelů pomocí formalismu Objektově orientovaných Petriho sítí (dále jen OOPN). Rozebírá význam a možnosti tohoto formalismu a ve své druhé části se snaží identifikovat užitečné nebo často se opakující vzory. Tyto vzory jsou inspirovány konstrukcemi klasických programovacích jazyků. Jde především o manipulaci s daty a řízení běhu programu. Nalezené vzory popisují a diskutují možnosti modelování takových konstrukcí pomocí OOPN.
This thesis concerns creating models using formalism of Object Oriented Petri Nets (OOPN). It concludes with various usability of such formalism and in the second part of the thesis it indentifes useful and often repeated patterns of OOPN. These patterns are strongly inspired by classic programing languages, mainly by constructions concerning data manipulation and program flow control. Indentified patterns describes options for modelling these construction in OOPN.
This thesis concerns creating models using formalism of Object Oriented Petri Nets (OOPN). It concludes with various usability of such formalism and in the second part of the thesis it indentifes useful and often repeated patterns of OOPN. These patterns are strongly inspired by classic programing languages, mainly by constructions concerning data manipulation and program flow control. Indentified patterns describes options for modelling these construction in OOPN.
Description
Citation
HANÁK, M. Knihovna vzorů Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2011.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Informační technologie
Comittee
prof. Ing. Jan M. Honzík, CSc. (předseda)
doc. Ing. Jiří Kunovský, CSc. (místopředseda)
Ing. Martin Hrubý, Ph.D. (člen)
doc. Ing. Jan Kořenek, Ph.D. (člen)
Mgr. Ing. Pavel Očenášek, Ph.D. (člen)
Date of acceptance
2011-06-15
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 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 dobře (C).
Result of defence
práce byla úspěšně obhájena