K.Jensen, L.M.Kristensen: Coloured Petri Nets (Modelling and
Validation of Concurrent Systems), Springer, 2009.
Petriho sítě
| Jazyk výuky | angličtina, češ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. |
Anotace
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ů.
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ů.
Povinná literatura
Doporučená literatura
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.
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.