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
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