Original title:
Knihovna vzorů Petriho sítí
Translated title:
Petri Nets Patterns Library
Authors:
Hanák, Martin ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor) Document type: Bachelor's theses
Year:
2011
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
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.
Keywords:
constructs of programming language; object oriented PetriNets; pattern library; PNtalk; workflow; knihovna vzorů; konstrukce v programovacím jazyku; objektově orientované Petriho sítě; PNtalk; workfow
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/55741