Cílem je podat základní informaci o teorii a praktických možnostech Petriho sítí vysoké úrovně (HLPN - High Level Petri Nets) při specifikaci, modelování a analýze složitých distribuovaných systémů s paralelními procesy. Výklad je zaměřen na dnes nejrozšířenější variantu HLPN - barvené Petriho sítě (CPN - Coloured Petri Nets) podle K.Jensena.
Terminated in academic year 1996/1997
Petriho sítě II
| Typ studia | - |
|---|---|
| Jazyk výuky | čeština |
| Kód | 456-0094/00 |
| Zkratka | PES II |
| Název předmětu česky | Petriho sítě II |
| Název předmětu anglicky | Petri Nets II |
| Garantující katedra | Katedra informatiky |
| Garant předmětu | Fiktivní Uživatel |
Course aims
Literature
K.Jensen: Coloured Petri Nets (Basic Concepts), Volume
1, Springer - Verlag, 1992, 1996.
www.informatik.uni-hamburg.de/TGI/PetriNets -
Welcome to the Petri Nets World
http://wiki.daimi.au.dk/cpntools/cpntools.wiki -
Computer Tool for Coloured Petri Nets
http://www.daimi.au.dk/CPnets/ -
These Web pages present the activities of the CPN
group at the Department of Computer Science,
University of Aarhus, Denmark
1, Springer - Verlag, 1992, 1996.
www.informatik.uni-hamburg.de/TGI/PetriNets -
Welcome to the Petri Nets World
http://wiki.daimi.au.dk/cpntools/cpntools.wiki -
Computer Tool for Coloured Petri Nets
http://www.daimi.au.dk/CPnets/ -
These Web pages present the activities of the CPN
group at the Department of Computer Science,
University of Aarhus, Denmark
Advised literature
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
R.David, H.Alla: Petri Nets and Grafcet (Tools for modelling discrete event systems). Prentice Hall Ltd., 1992
W.Resig-G.Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, LNCS 1491, Springer, 1998.
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.
K.Jensen (Ed.): Application and Theory of Petri Nets . Springer-Verlag, 1992
R.David, H.Alla: Petri Nets and Grafcet (Tools for modelling discrete event systems). Prentice Hall Ltd., 1992
W.Resig-G.Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, LNCS 1491, Springer, 1998.
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.