Discrete Event Systems - 4GUL0105

Goal(s)

• Present modelling tools for discrete events (Petri nets, Queueing networks, discrete event simulation language) for modelling production systems (products and services) in the aim of designing these systems.

• Understand a set discrete event model and work on the modelling stage of a complex system.

Content(s)

In this course we present discrete event models: formal models (Petri nets and Queueing networks) and simulation models (ARENA).

• Petri nets (9 hours of lectures and 9 hours of tutorials)
-Introduction to state automata
-Autonomous Petri nets, formal validation
-Timed Petri nets, performance evaluation
-Coloured Petri nets

• Queueing networks (13.5 hours of lectures and 13.5 of tutorials)
-Revision of probability course
-Introduction to stochastic process
-Markov chains (discrete and continuous time)
-Queueing networks (analysis of one queue, product form networks)

• Discrete Event Simulation (15 hours of laboratory work)
-link between queueing networks and simulation (notion of ergodicity, convergence, comparison of analytical methods and simulation)
-presenting and programming a discrete event simulation software (ARENA)

Probability course