Petriho sítěmi (PS) je označována široká třída diskrétních matematických modelů (strojů), které umožňují popisovat specifickými prostředky řídící toky a informační závislosti uvnitř modelovaných systémů. Předmět je koncipován tak, aby studenti zvládli jednotlivé typy Petriho sítí, jako jsou PT sítě, kontinuální PS, stochastické PS a nakonec hybridní PS, které spojují všechny uvedené sítě do jednoho grafického nástroje. Tento kurz vznikl v rámci projektu CZ.1.07/2.2.00/28.0296 "Mezioborové vazby a podpora praxe v přírodovědných a technických studijních programech UJEP"
Zvládnutí základů teorie a schopnost aplikace na jednoduché praktické úlohy. Studenti se naučí pracovat s několika nástroji pro návrh PS.
|
-
ČEŠKA, M., V. MAREK, P. NOVOSAD a T. VOJNAR. Petriho sítě. Studijní opora. Fakulta nformačních technologií. VUT Brno, 2009, 238 s. [cit. 2013-03-11]. Dostupné z: http://www.fit.vutbr.cz/study/courses/PES/ public/Pomucky/PES_opora.pdf.
-
DAVID, René a Hassane ALLA. Discrete, continuous and hybrid petri nets. Berlin: Springer, 2005, 524 s. ISBN 35-402-2480-7..
-
KOCHANÍČKOVÁ, Monika. Petriho sítě. Univerzita Palackého. Olomouc, 2008, 69 s. [cit. 2013-03-11]. Dostupné z: http://phoenix.inf.upol. cz/esf/ucebni/petriho_site.pdf.renamed.
-
Petri, C. A. Kommunikation mit Automaten. PhD thesis. Bonn, Institut fur Instrumentelle Mathematik, Schiften des IIM Nr.3, 1962..
-
VORÁČOVÁ, Šárka, Martin PĚNIČKA a Jaroslav VESELÝ. Úvod do modelování procesů Petriho sítěmi. Vyd. 1. Praha: Česká technika ? nakladatelství ČVUT, 2008, 126 s. ISBN 978-80-01-03979-3..
|