Course detail
Theory and Applications of Petri Nets
FIT-TADAcad. year: 2017/2018
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.
The state examination topics:
- Basic notions and concepts of Petri nets theory.
- Classification of Petri nets models.
- Analysis of Condition/Event Petri nets based on case graphs.
- Processes of C/E Petri nets.
- Synchronic distances and facts..
- Analysis of P/T Petri nets by reachability tree.
- Invariants of P/T Petri nets and their applications.
- Petri nets languages.
- Marked graphs and Free choices Petri nets, Petri nets with inhibitors.
- Coloured and hierarchical Petri nets.
Language of instruction
Mode of study
Guarantor
Department
Learning outcomes of the course unit
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.
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Course curriculum
- 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.
- Essay based on selected scientific paper dealing with Petri net application in problems solved in student dissertation.
Syllabus - others, projects and individual work of students:
Work placements
Aims
Specification of controlled education, way of implementation and compensation for absences
Recommended optional programme components
Prerequisites and corequisites
Basic literature
Recommended reading