Petriho sítě

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

Anotace

Petriho sítě jsou jedním z nejpoužívanějších nástrojů pro modelování a návrh složitých systémů s paralelními procesy, distribuovanými stavy a hierarchickou strukturou. Mají mnoho aplikací v oblasti byznys modelování, paralelního programování, operačních systémů, distribuovaných databází a řízení složitých procesů jakéhokoliv druhu. Přednáška seznamuje se základním pojmovým aparátem a metodami teorie Petriho sítí a s metodikou použití této teorie při praktickém návrhu a modelování informačních systémů. Výuka klade důraz na rozvoj schopnosti přecházet od výchozího neformálního slovního popisu systému k jeho formálně přesné a přitom názorné (grafické, síťové) reprezentaci.

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.