Petri Nets I

Petri Nets I
460-4006/01
čeština Petri Nets I
460-4006/02
angličtina

Summary

Petri nets are one of the most adequate and sound languages for description and analysis of discrete dynamic systems with concurrent processes, distributed states and hierarchical structure. The course covers the fundamentals of the theory and practical use of classical "low-level" Petri nets, i.e. Place/Transition nets and their extensions.

Literature

Markl, J.: Petriho sítě I. Lecture notes in Czech language, VŠB-TU Ostrava, http://drazdilova.cs.vsb.cz/Data/Sites/5/petrinet/petrinetsylabus.pdf
Reisig, Wolfgang: Understanding Petri Nets. 2013.

Advised literature

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 149, 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. John Wiley & Sons, 1995.
L.Priese, H.Wimmel: Theoretische Informatik Petri-Netze, Springer-Verlag Berlin Heidelberg 2003.

back to search page

Language of instruction	čeština, angličtina
Code	460-4006
Abbreviation	PES I
Course title	Petri Nets I
Coordinating department	Department of Computer Science
Course coordinator	doc. Ing. Zdeněk Sawa, Ph.D.