Introduction to discrete Simulation

Títol del curs: Introduction to discrete Simulation

Impartit per: Pau Fonseca. Universitat Politècnica de Catalunya

Llengua del curs: Anglès

Dates i horaris del curs: 9-13 de juliol. The theory sessions will start at 10 in the morning until 12. The practical labs start at 12 until 14.

Lloc: Theory sessions: aula S01; Practical labs: aula PC1.

Tipus d'activitat i càrrega lectiva: Curs de 20 hores with 10 hours of practical labs.

Reconeixement acadèmic: 2.5 crèdits

Data de matrícula: del 15 al 25 de maig

Program:

• 1 Theory:
• Introduction.
• Some examples of real projects.
• 1 Practical Lab: Introduction to GPSS/Simio software.
• 2 Theory:
• Methodology.
• Working with discrete simulation.
• Formalizing a simulation model. Petri Nets and SDL.
• 2 Practical Lab: Working with GPSS and Simio.
• 3 Theory:
• Formalizing a simulation model.
• Petri Nets and SDL.
• 3 Practical Lab: Working with GPSS and Simio.
• 4 Theory:
• Formalizing a simulation model.
• Petri Nets and SDL.
• 4 Practical Lab: Introduction to SDLPS CPNTools and JPetriNetSim.
• 5 Theory: Experimental design, VV&A of simulation models.
• 5 Practical Lab: Selecting the best software to “our project”.

 

Detailed outline:

 

• Introduction. Some examples of real projects.

Introduction to the discipline. Description of some real examples of simulation applied to industrial and environmental problems.

Presentation of the tools to be used during the course.
(L) Introduction to GPSS/Simio software.
Description of GPSS, JGPSS and Simio software. Presentation of the first introductory exercises to start working with the tools.

 

• Methodology. Working with discrete simulation. Formalizing a simulation model. Petri Nets and SDL.

Presentation of some of the more widely used formal languages used in the scope of discrete simulation. Working with PetriNets.
(L)Working with GPSS and Simio.
First exercises to be done using GPSS, JGPSS or Simio software. The students propose a system to be modeled in the next session.

 

• Formalizing a simulation model. Petri Nets and SDL.

Presentation of some of the more widely used formal languages used in the scope of discrete simulation. Working with SDL.
(L)Working with GPSS and Simio.
In this session the students starts the development of his proposed exercise, which must be presented at the end of the course.

 

• Formalizing a simulation model. Petri Nets and SDL.

Presentation of some of the more widely used formal languages used in the scope of discrete simulation. During this session we develop a complete exercise. Also we present DEVS formalism.
(L)Introduction to SDLPS CPNTools and JPetriNetSim.
In this first half of the session some tools that understand formal languages are presented. The students continue with the development of his proposed exercise during the second half.

 

• Experimental design, VV&A of simulation models.

Introduction to Validation, Verification and Accreditation of simulation models. Introduction to the 2k factorial design.
(L)Selecting the best software to “our project”.
In the first half of this session we present some methodologies to select appropriate software for a specific project. The students finish the development of his proposed exercise during the second half.

 

 

Evaluation method:
A practical exercise, to be delivered at the end of the course.

 

Bibliography:

• [1] Averill M. Law and W. David Kelton, Simulation Modeling and Analysis.: McGraw-Hill, 2000.

• [2] Averill M. Law, "How to build valid and credible simulation models," in Proceedings of the 2005 Winter Simulation Conference, 2005.

• [3] R. M. Fujimoto, "Parallel simulation: parallel and distributed simulation systems," in Winter Simulation Conference, 2001, pp. 147-157.

• [4] Telecommunication standardization sector of ITU. (1999) Series Z: Languages and general software aspects for telecommunication systems. [Online]. http://www.itu.int/ITU-T/studygroups/com17/languages/index.html

• [5] Lauren Doldi, Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis.: John Wiley & Sons, Inc., 2003.

• [6] B.P. Zeigler, H. Praehofer, and D. Kim, Theory of Modeling and Simulation.: Academic Press, 2000.

• [7] J. L. Peterson, Petri Net Theory and the Modeling of Systems.: Prentice-Hall, 1981.

• [8] Pau Fonseca i Casas and Josep Casanovas, "JGPSS, an Open Source GPSS Framework to Teach Simulation," in Procediings of the Winter Simulation Conference 2009, Austin, 2009.

• [9] Ingolf Ståhl, "WEBGPSS: THE FIRST TWO HOURS OF SIMULATION EDUCATION," in Proceedings of the 2004 Winter Simulation Conference, 2004.

• [10] Ingolf Ståhl, "GPSS - 40 years of development," in Proceedings of the 2001 Winter Simulation Conference, 2001, pp. 577-585.

• [11] Robert Crain, "Simulation using GPSS/H," in Proceedings of the 1997 Winter Simulation Conference, 1997.

• [12] W. David Kelton, Jeffrey S. Smith, and David T. Sturrock, Simio and Simulation: Modeling, Analysis, Applications, Second Edition ed.: McGraw-Hill, 2012.