Discrete Event Systems

Lecturer:

Libor Přeučil (gar.)

Tutor:

Libor Přeučil (gar.)

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)
• Doctoral studies, structured daily studies (compulsory elective course)
• Doctoral studies, structured combined studies (compulsory elective course)