Course details
Theory and Applications of Petri Nets
TAD Acad. year 2024/2025 Summer semester
Basic concepts of Petri nets, typical analysis problems, analysis methods, Petri net languages, restrictions and extensions of basic class of Petri nets, Coloured Petri nets, Hierarchical and Object oriented Petri nets, Petri nets tools, applications.
Guarantor
Course coordinator
Language of instruction
Completion
Time span
- 39 hrs lectures
- 8 hrs pc labs
Assessment points
- 70 pts final exam
- 30 pts projects
Department
Lecturer
Learning objectives
To understand the basic concepts and methods of system modelling using Petri nets, to adopt the Petri nets theory and applications in problems of system modelling, design, and verification. To gain practical experiences with representative Perti nets tools.
Theoretical and practical background for application of Petri nets and supporting tools in system modelling, design, and verification.
Abilities to apply and develop advanced information technologies based on suitable formal models, to propose and use such models and theories for automating the design, implementation, and verification of computer-based systems.
Prerequisite knowledge and skills
Basic knowledge of discrete mathematics concepts including graph theory and formal languages concepts, basic concepts of algorithmic complexity, and principles of computer modelling.
Study literature
- Češka M.: Petriho sítě, Akad.nakl. CERM, 1994
- http://www.fit.vutbr.cz/study/courses/TI1/public/ti.pdf
- Jensen K.: Coloured Petri Nets, Springer Verlag 1993
- Reisig W.: Petri Nets: An Introduction. Springer-Verlag, Berlin, Heidelberg 1985
- Reisig W.: Petri Nets: An Introduction. Springer-Verlag, Berlin, Heidelberg 1985
- Jensen K.,Kristensen L.M,: Coloured Petri nets: modelling and validation, Springer Verlag, 2009
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.
Syllabus of computer exercises
- Tools for C/E and P/T Petri nets.
- Tools for high-level Petri nets (CPN).
- Tools for object-oriented Petri nets.
- Tools for modeling and programming of control systems based on Petri nets.
Progress assessment
Short tests in lectures, state of essay elaboration.
Lectures and essay elaboration.
Course inclusion in study plans
- Programme DIT, any year of study, Compulsory-Elective group T
- Programme DIT, any year of study, Compulsory-Elective group T
- Programme DIT-EN (in English), any year of study, Compulsory-Elective group T
- Programme DIT-EN (in English), any year of study, Compulsory-Elective group T
- Programme VTI-DR-4, field DVI4, any year of study, Elective
- Programme VTI-DR-4, field DVI4, any year of study, Elective
- Programme VTI-DR-4 (in English), field DVI4, any year of study, Elective