Petriho sítě

Petriho sítě
460-4146/01
čeština Petriho sítě
460-4146/02
angličtina

Anotace

Výsledky učení:
porozumět principům Petriho sítí jako nástroje pro modelování a návrh složitých systémů s paralelními procesy, distribuovanými stavy a hierarchickou strukturou,
osvojit si základní pojmový aparát a metody teorie Petriho sítí,
aplikovat metody Petriho sítí při modelování a návrhu informačních systémů,
využívat Petriho sítě v oblastech byznys modelování, paralelního programování, operačních systémů, distribuovaných databází a řízení procesů,
rozvíjet schopnost převádět neformální slovní popis systému do formálně přesné a názorné (grafické, síťové) reprezentace,
analyzovat chování modelovaných systémů s využitím pojmů a metod teorie Petriho sítí,
interpretovat výsledky analýzy a hierarchizace modelu v kontextu návrhu reálného systému.

Povinná literatura

1. MARKL, J.: Petriho sítě I. Učební texty v elektronické podobě, VŠB-TU Ostrava, http://drazdilova.cs.vsb.cz/Data/Sites/5/petrinet/petrinetsylabus.pdf
2. REISIG, W.: Understanding Petri Nets, Springer-Verlag, 2013.

Doporučená literatura

1. K. Jensen, G. Rozenberg: High-level Petri nets: theory and application. Springer Science & Business Media, 2012.
2. R.David, H.Alla: Petri Nets and Grafcet /Tools for modelling discrete event systems/. Prentice Hall Ltd., 1992.
3. W.Resig-G.Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, LNCS 149, Springer, 1998.
4. W.Resig-G.Rozenberg (Eds.): Lectures on Petri Nets II: Applications, LNCS 1492, Springer, 1998.
5. M.A.Marsan, G.Balbo, G.Conte, S.Donatelli, G.Franceschinis: Modelling with Generalised Stochastic Petri Nets. John Wiley & Sons, 1995.

zpět na vyhledávání

Jazyk výuky	čeština, angličtina
Kód	460-4146
Zkratka	PES
Název předmětu česky	Petriho sítě
Název předmětu anglicky	Petri Net
Garantující katedra	Katedra informatiky
Garant předmětu	doc. Mgr. Pavla Dráždilová, Ph.D.