Kurs je věnován teorii Petriho sítí a jejich praktickými možnostmi při modelování,
analýze a verifikaci diskrétních dynamických systémů s distribuovanými stavy a paralelními procesy.
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.