Terminated in academic year 1996/1997

Petri Nets II

Type of study	-
Language of instruction	Czech
Code	456-0094/00
Abbreviation	PES II
Course title	Petri Nets II
Coordinating department	Department of Computer Science
Course coordinator	Fiktivní Uživatel

Course aims

To understand the basic concepts and methods of systems description using high-level Petri nets.
To accept the high-level Petri nets as an extra suited tool for system modelling, design, and verification.
To gaine some practical experiences with this tool (especially the CPN of K.Jensen).

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

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.

back to search page