Ukončeno v akademickém roce 2009/2010

Petri Nets II

Type of study	Follow-up Master
Language of instruction	Czech
Code	456-0094/01
Abbreviation	PES II
Course title	Petri Nets II
Credits	4
Coordinating department	Department of Computer Science
Course coordinator	Ing. Ada Böhm, Ph.D.

Osnova předmětu

Lectures:
Classification of Petri nets: low-level and high-level Petri nets, timed and untimed, plain and (hierarchically) structured.
Timed Petri nets
Stochastic Petri nets (SPN). Markovian stochastic process associated with SPN.
Generalized stochastic Petri nets (GSPN). Stochastic process associated with SPN.

Coloured Petri nets (CPN) I: Informal introduction.
Coloured Petri nets II: Formal definitions.
Coloured Petri nets III: CPN dynamic behaviour.
Coloured Petri nets IV: State space methods of analysis.
Coloured Petri nets V: Invariants, algebraic methods of analysis.
Hierarchization constructs of coloured Petri nets: substitution, invocation, fusion.
Software tools for design, simulation and analysis of HLPN.
Object-oriented methods for systems design and programming and high-level Petri nets.
Object oriented Petri nets.

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í