Ukončeno v akademickém roce 2009/2010

Petriho sítě

Typ studia	doktorské
Jazyk výuky	čeština
Kód	456-0909/01
Zkratka	PS
Název předmětu česky	Petriho sítě
Název předmětu anglicky	Petri Nets
Kreditů	10
Garantující katedra	Katedra informatiky
Garant předmětu	prof. RNDr. Petr Jančar, CSc.

Osnova předmětu

Přednášky:
Problém analýzy, modelování a návrhu složitých systému s paralelismem a hierachickou strukturou. Síťové metody řešení tohoto problému. Definice a klasifikace Petriho sítí.
Neformální úvod do modelování pomocí Petriho sítí I. C/E Petriho sítě, P/T Petriho sítě. Petriho sítě s inhibitory.
Neformální úvod do modelování pomocí Petriho sítí II. Petriho sítě vysoké úrovně. Barevné Petriho sítě. Hierarchické Petriho síti.

Struktury, systémy a parametrizované systémy Petriho sítí. Statika a dynamika Petriho sítí. Stav /značení/ a množina dosažitelných stavů PN-systému. Graf dosažitelnosti.
Vlastnosti Petriho sítí: omezenost, bezpečnost, živost, neexistence uzamčení, reverzibilita, konzervativnost. Problém dosažitelnosti. Stavová analýza Petriho sítí.
Strukturní analýza Petriho sítí. Fundamentální rovnice. P-invarianty, T-invarianty a komponenty síti. Duální sítě.
Speciální typy Petriho sítí: automatové sítě, synchronizační sítě a sítě s volným výběrem.
Syntéza bezpečných, živých a reverzibilních Petriho sítí. Hierarchizace metodou substituce míst a přechodů.
Jazyky Petriho sítí a jejich vztah k Chomského hierarchii jazyku.
HLPN (High Level Petri Nets) - Petriho sítě vysoké vysoké úrovně.
CPN (Coloured Petri Nets) - nejrozšířenější varianta HLPN
CPN nehierarchické. Popis struktury a dynamiky.

CPN hierarchické. Substituce a invokace míst a přechodů. Fúzování míst a přechodů.

Povinná literatura

J.L.Peterson: Petri Nets and the Modeling of Systems. Prentice Hall, 1981
W.Resig-G.Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, LNCS 1491, Springer, 1998.
Markl, J.: Petriho sítě I., II. Učební texty v elektronické podobě, VŠB-TU Ostrava, 1998

Doporučená literatura

R.David, H.Alla: Petri Nets and Grafcet /Tools for modelling discrete event systems/. Prentice Hall Ltd., 1992
K.Jensen, G.Rozenberg /Eds./: High-level Petri Nets /Theory and Application/. Springer-Verlag, 1991.

K.Jensen /Ed./: Application and Theory of Petri Nets . Springer-Verlag, 1992
W.Resig-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.
K.Jensen: Coloured Petri Nets (Analysis Methods), Volume 2, Springer - Verlag, 1995.
K.Jensen: Coloured Petri Nets (Practical Use), Volume 3, Springer - Verlag, 1997.

zpět na vyhledávání