Petriho sítě II

Petriho sítě II
456-0094/00
čeština Petriho sítě II
456-0094/01
čeština

Anotace

Přednáška Petriho sítě II (High-level Petri Nets - HLPN) navazuje na přednášku Petriho sítě I (Low-level Petri Nets- LLPN). HLPN, na rozdíl od LLPN, umožňují pracovat s individuálními objekty a jejich třídami (např. daty různě strukturovanými a s jejich hodnotami) a s hierarchickými strukturami (třídami modulů s přesně definovaným rozhraním). Přitom se zachovávají všechny přednosti Petriho sítí (grafická vizualizace, matematická rigoróznost,...). HLPN umožňují integrovat osvědčené (ale teoreticky ne plně zdůvodněné) paradigma objektově orientovaného přístupu s exaktním matematickým aparátem Petriho sítí. HLPN představují jazyk vysoké úrovně pro analýzu, návrh a modelování složitých distribuovaných systémů s paralelními procesy. Tento jazyk má má mnoho aplikací, a to nejenom v informatice.

Povinná literatura

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

Doporučená literatura

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.

zpět na vyhledávání

Jazyk výuky	čeština, čeština
Kód	456-0094
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	prof. RNDr. Petr Jančar, CSc.