Discrete Event Systems
The course is not on the list Without time-table
| Code | Completion | Credits | Range | Language |
|---|---|---|---|---|
| XP33SDD | ZK | 4 | 2P+2S | Czech |
- Course guarantor:
- Lecturer:
- Tutor:
- Supervisor:
- Department of Cybernetics
- Synopsis:
-
Introduction to discrete event systems. Modeling of discrete event systems,
GRAFCET and it is applications with practical examples. Petri nets overview.
Properties of Petri nets and relations to real systems. Reduction methods,
formal languages and algebraic description of PNs. Timed PNs and modeling in
P- and T-timed PNs. Practical examples and applications in CIM systems.
- Requirements:
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
- Study materials:
-
Petri Nets and Grafcet - Tools for Modelling discrete event systems, by:
Rene David & Hassane Alla, Prentice Hall publ. New York , London, Tokyo,
1992, ISBN: 0-13-327537-X
- Note:
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans:
-
- Doctoral studies, daily studies (compulsory elective course)
- Doctoral studies, combined studies (compulsory elective course)