To present tools (Petri nets, Queueing networks, discret event simulation language) for modelling and analysis of production systems
In this module we present discret event models: formal models (Petri nets and Queueing networks) and simulation models (ARENA). Petri nets (9h of lectures and 9h of classes) Introduction to state automata Autonomous Petri nets ; formal validation Timed Petri nets ; performance evaluation Coloured Petri nets Queueing networks (7,5h of lectures and 7,5h classes) Introduction to stochastic process Markov chains (discrete and continuous time) Queueing networks (analysis of one queue, product form networks) Discrete Event Simulation (12h of Lab) software ARENA
Written examination paper (without documents) 75% - Lab assignment 25%.
N1 = 0,25*CC + 0,75*E1 N2 = E2
The course exists in the following branches:
Curriculum - Engineer IPID apprentice program - Semester 7