Terminated in academic year 2009/2010

Petri Nets

Type of study	Doctoral
Language of instruction	Czech
Code	456-0909/01
Abbreviation	PS
Course title	Petri Nets
Credits	10
Coordinating department	Department of Computer Science
Course coordinator	prof. RNDr. Petr Jančar, CSc.

Subject syllabus

Lectures:

Analysis, modelling and design of complex systems with parallelism
and hierarchical structure. Solution of problems by nets.
Definition and classification of Petri nets.

Informal introduction to modelling by Petri nets I.
C/E nets, P/T nets, Petri nets with inhibitors.

Informal introduction to modelling by Petri nets II.
High-level Petri nets. Coloured Petri nets. Hierarchical Petri nets.

Structures, systems and parametrized systems of Petri nets.
Statics and dynamics of Petri nets.
State (marking) and the reachability set. The reachability graph.

Properties of Petri nets: boundedness, safeness, liveness, deadlock-freeness,
reversibility, conservativity. The reachability problem. State analysis of Petri
nets.

Structural analysis of Petri nets. Fundamental equations. P-invariants. T-invariants.
Net components. Dual nets.

Special types of Petri nets: automata nets, synchronization nets, free-choice nets.

Synthesis of safe, live and reversible Petri nets.
Hierarchization by the method of substition of places and transitions.

Petri net languages and their relation to Chomsky hierarchy.

HLPN (High Level Petri Nets) .

CPN (Coloured Petri Nets) - the most common variant HLPN

Non-hierarchical CPN. Description of structure and dynamics.

Hiearchical CPN. Substitution and invocation of places and transitions.
Merging of places and transitions.

Literature

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.

Advised literature

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.

back to search page