Course detail
Discrete event systems
FEKT-MSDUAcad. year: 2012/2013
Discrete event systems and their typical examples, modelling, Basic modeling concepts. Petri nets, definitions, types, purpose, autonomous PN, colored PN. Sequence systems. Markov chains and processes, queueing systems.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Learning outcomes of the course unit
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Examination. Max. 70 points.
Course curriculum
Automata, basic concepts
Automata and language relation
Petri nets
Timed systems
Hybrid systems
Stochastic timed systems
Discrete event systems control
Discrete time Markov chains
Continuous time Markov processes
Queuing theory
Markov chains control
Discrete event systems simulation
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
Classification of course in study plans
Type of course unit
Lecture
Teacher / Lecturer
Syllabus
Automata, basic concepts
Automata and language relation
Petri nets
Timed systems
Hybrid systems
Stochastic timed systems
Discrete event systems control
Discrete time Markov chains
Continuous time Markov processes
Queuing theory
Markov chains control
Discrete event systems simulation
Exercise in computer lab
Teacher / Lecturer
Syllabus
Introduction to Witness simulation system
Production systems modelling
Transport systems modelling
Discrete event system optimization
Data visualistion in Witness
Work on the project
Petri nets applications
Petri nets and GRAFCET
Markov chains
Markov processes
Queueing systems, statistics evaluation
Simulation of queueing systems in Witness