FI:I023 Petri Nets - Course Information

I023 Petri Nets

Extent and Intensity

2/0. 2 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).

Teacher(s)

prof. RNDr. Petr Jančar, CSc. (lecturer)

Guaranteed by

Contact Person: prof. RNDr. Petr Jančar, CSc.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

• Informatics (programme FI, B-IN)
• Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
• Information Technology (programme FI, B-IN)

Syllabus

• Petri nets are a basis for a wide class of tools for modelling, design, simulation and analysis of complex distributed (concurrent, parallel) systems. They have many applications in the area of computer hardware, communication protocols, flexible manufacturing systems, software engineering etc.
• Principles of system modelling by means of nets.
• Relations of structural and dynamic properties.
• Analysis techniques.
• Questions of algorithmic decidability and complexity.
• Modular construction.
• Nonsequential semantics for Petri nets.
• Relation to other models from the theory of processes.

Language of instruction

Czech

• Enrolment Statistics (Spring 1997, recent)
  
• Permalink: https://is.muni.cz/course/fi/spring1997/I023