Petriho sítě

Petriho sítě
460-6005/01
čeština Petriho sítě
460-6005/02
angličtina Petriho sítě
460-6005/03
čeština Petriho sítě
460-6005/04
angličtina

Summary

Petriho sítě jsou jsou často používaným nástrojem pro modelování,
návrh a analýzu složitých systémů s distribuovanými stavy, paralelními
procesy a hierarchickou strukturou. Mají četné aplikace v oblasti
zpracování dat, operačních systémů, distribuovaných databází a řízení
složitých procesů. Kurs seznamuje se základním pojmovým aparátem a metodami teorie Petriho sítí a s metodikou jejího použití při praktickém návrhu, modelování, analýze a verifikaci informačních a jiných systémů.

Literature

K.Jensen, L.M.Kristensen: Coloured Petri Nets (Modelling and
Validation of Concurrent Systems), Springer, 2009.

Advised literature

W.Reisig-G.Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, LNCS 1491, Springer, 1998.
W.Reisig-G.Rozenberg (Eds.): Lectures on Petri Nets II: Applications, LNCS 1492, Springer, 1998.
M.A.Marsan, G.Balbo, G.Conte, S.Donatelli, G.Franceschinis: Modelling with Generalised Stochastic Petri Nets. Series in Parallel Computing, John Wiley & Sons, 1995.

back to search page

Jazyk výuky	čeština, angličtina, čeština, angličtina
Kód	460-6005
Zkratka	PS
Název předmětu česky	Petriho sítě
Název předmětu anglicky	Petri Nets
Garantující katedra	Katedra informatiky
Garant předmětu	doc. Ing. Zdeněk Sawa, Ph.D.