Course detail
Theory and Applications of Petri Nets
FIT-TADAcad. year: 2024/2025
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.
Language of instruction
Mode of study
Guarantor
Department
Entry knowledge
Rules for evaluation and completion of the course
Lectures and essay elaboration.
Aims
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.
Study aids
Prerequisites and corequisites
Basic literature
Recommended reading
Češka M.: Petriho sítě, Akad.nakl. CERM, 1994
Jensen K.: Coloured Petri Nets, Springer Verlag 1993
Jensen K.,Kristensen L.M,: Coloured Petri nets: modelling and validation, Springer Verlag, 2009
Reisig W.: Petri Nets: An Introduction. Springer-Verlag, Berlin, Heidelberg 1985
Reisig W.: Petri Nets: An Introduction. Springer-Verlag, Berlin, Heidelberg 1985
Classification of course in study plans
- Programme DIT Doctoral 0 year of study, summer semester, compulsory-optional
- Programme DIT Doctoral 0 year of study, summer semester, compulsory-optional
- Programme DIT-EN Doctoral 0 year of study, summer semester, compulsory-optional
- Programme DIT-EN Doctoral 0 year of study, summer semester, compulsory-optional
- Programme CSE-PHD-4 Doctoral
branch DVI4 , 0 year of study, summer semester, elective
- Programme CSE-PHD-4 Doctoral
branch DVI4 , 0 year of study, summer semester, elective
- Programme CSE-PHD-4 Doctoral
branch DVI4 , 0 year of study, summer semester, elective
Type of course unit
Lecture
Teacher / Lecturer
Syllabus
- 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.
Guided consultation in combined form of studies
Teacher / Lecturer
Exercise in computer lab
Teacher / Lecturer
Syllabus
- 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.