VI Summer School 2012: Introduction to discrete Simulation

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.