CODE 66296 ACADEMIC YEAR 2020/2021 CREDITS 6 cfu anno 3 INGEGNERIA INFORMATICA 8719 (L-8) - GENOVA SCIENTIFIC DISCIPLINARY SECTOR ING-INF/04 LANGUAGE Italian TEACHING LOCATION GENOVA SEMESTER 1° Semester TEACHING MATERIALS AULAWEB OVERVIEW The course presents the concepts and the basic methodological tools for the analysis of discrete event systems. This class of dynamic systems is characterized by discrete-valued state variables and by state transitions that are triggered by the occurrence of discrete events. The modeling and analysis of such systems have a great relevance in many applicative contexts. AIMS AND CONTENT LEARNING OUTCOMES The course has the objective of providing the necessary methodological tools for the representation of dynamic systems of different kinds (manufacturing systems, tarnsportation systems, computer and service networks) as discrete event systems. Different classes of models will be presented (logical and timed, deterministic and stochastic) and techniques for structural and performance analysis will be discussed. AIMS AND LEARNING OUTCOMES The course has the objective of providing the necessary methodological tools for the representation of dynamic systems of different kinds (manufacturing systems, tarnsportation systems, computer and service networks) as discrete event systems. Different classes of models will be presented (logical and timed, deterministic and stochastic) and techniques for structural and performance analysis will be discussed. Also discrete event simulation will be treated. At the end of the corse, the student will be able to solve modelling and analysis problems analogous to those presented during the lectures. PREREQUISITES Basic mathematical analysis and linear algebra tools. Basic concepts about random variables and stochastic processes. TEACHING METHODS Classroom lectures (including the solution of several exercises). SYLLABUS/CONTENT General introduction to discrete event systems. Discrete event simulation. Markov chains (discrete-time and continuous-time). Markovian queueing networks. Petri net models (logical and timed). RECOMMENDED READING/BIBLIOGRAPHY The lecture notes will be made available to students. The notes will include several bibliographic references. TEACHERS AND EXAM BOARD RICCARDO MINCIARDI Ricevimento: It is possible to meet the professor, on request, at different times. Exam Board RICCARDO MINCIARDI (President) MICHELA ROBBA MICHELE AICARDI (President Substitute) LESSONS Class schedule DISCRETE EVENT SYSTEMS EXAMS EXAM DESCRIPTION Written and oral ASSESSMENT METHODS The capability of using the most interesting and effective approaches to model and analyze discrete event systems. Exam schedule Data appello Orario Luogo Degree type Note 14/01/2021 10:00 GENOVA Scritto 01/02/2021 10:00 GENOVA Scritto 29/03/2021 10:00 GENOVA Scritto 18/06/2021 10:00 GENOVA Scritto 12/07/2021 10:00 GENOVA Scritto 09/09/2021 10:00 GENOVA Scritto