Course details
Theory and Applications of Petri Nets
Guarantor
Language of instruction
Czech, English
Completion
Examination
Time span
- 39 hrs lectures
- 8 hrs pc labs
Department
Study literature
- Reisich W.: Petri nets, Springer Verlag 1985
- Jensen K.: Coloured Petri nets, Springer Verlag 1993
- Češka M.: Petriho sítě, Akad.nakl. CERM, 1994
- Wil van der Aalst and Kees van Hee: Workflow Management: Models, Methods, and Systems MIT Press, 368 pp., ISBN 0-262-01189-1
- Unifying Petri Nets, Advances in Petri Nets, Ed.: Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg, Springer-Verlag Vol.: LNCS 2128, 485 pp., ISBN: 3-540-43067-9
- http://www.fit.vutbr.cz/study/courses/TI1/public/ti.pdf
Fundamental literature
- Reisich W.: Petri nets, Springer Verlag 1985
- Jensen K.: Coloured Petri nets, Springer Verlag 1993
- Češka M.: Petriho sítě, Akad.nakl. CERM, Brno 1994
Syllabus of lectures
- Introduction to Petri nets, basic notions.
- Condition/Event Petri nets.
- Complementation, case graphs, and applications in C/E systems analysis.
- Processes of C/E Petri nets, occurrences nets.
- Properties of C/E Petri nets, synchronic distances, facts.
- Place/Transition Petri nets, analysis problems.
- Analysis of P/T Petri nets by reachability tree.
- Invariants of P/T Petri nets.
- Petri nets languages.
- Marked graphs and Free choices Petri nets, Petri nets with inhibitors.
- Coloured Petri nets, CPN Design, applications.
- Analysis of Coloured Petri nets.
- Hierarchical Coloured Petri nets and Object oriented Petri nets.
Course inclusion in study plans