Simulacion matias

Introducci´n a la Modelizaci´n y o o Simulaci´n de Sistemas de Eventos o Discretos con el Formalismo DEVS
Ernesto Kofman

Laboratorio de Sistemas Din´micos a Facultad de Ciencias Exactas, Ingenier´ y Agrimensura ıa Universidad Nacional de Rosario

´ Indice General
1 Introducci´n o 2 Conceptos Previos 2.1 Clasificaci´n de Sistemas . . . . . . . . . . . . . . . . . . . . . . . o 2.2Especificaci´n de Comportamiento de un Sistema Din´mico . . . o a 3 El Formalismo DEVS 3.1 Modelos DEVS At´micos . . . . . . . o 3.2 Conflictos de Simultaneidad . . . . . . 3.3 Sistema Din´mico Definido por DEVS a 3.4 Legitimidad de los Modelos DEVS . . 3.5 Problemas Propuestos . . . . . . . . . 4 Modelos DEVS Acoplados 4.1 Acoplamiento Modular B´sico . . . . a 4.2 Clausura Bajo Acoplamiento DEVS 4.3Acoplamiento DEVS con Puertos . . 4.4 Problemas Propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 4 4 6 8 9 14 15 16 17 19 19 22 24 27 29 29 31 31 31 32 32 33

5 Simulaci´n de Modelos DEVS o 5.1 Estructura de una Simulaci´n de DEVS . . . o 5.2 Pseudo–C´digos para la Simulaci´n de DEVS o o 5.2.1 DEVS–simulator . . . . . . . . . . . . 5.2.2 DEVS–coordinator . . . . . . . . . . . 5.2.3DEVS–root–coordinator . . . . . . . . 5.3 Simulaci´n Plana . . . . . . . . . . . . . . . . o 5.4 Problemas Propuestos . . . . . . . . . . . . .

1

Cap´ ıtulo 1

Introducci´n o
Durante las ultimas d´cadas, la r´pida evoluci´n de la tecnolog´ ha producido ´ e a o ıa una proliferaci´n de nuevos sistemas din´micos, generalmente hechos por el o a hombre y de gran complejidad. Ejemplos de ellos son las redesde computadoras, sistemas de producci´n automatizados, de control de tr´fico a´reo; y sistemas o a e en general de comando, de control, de comunicaciones y de informaci´n. Todas o las actividades en estos sistemas se deben a la ocurrencia asincr´nica de eventos o discretos, algunos controlados (tales como el pulsado de una tecla) y otros no (como la falla espont´nea de un equipo). Esta caracter´ aıstica es la lleva a definir el t´rmino de Sistemas de Eventos Discretos. e Las herramientas matem´ticas que hoy disponemos (b´sicamente ecuaciones a a diferenciales y en diferencias) fueron desarrolladas durante los ultimos doscien´ tos a˜os para modelar y analizar los procesos conducidos por el tiempo que n generalmente uno encuentra en la naturaleza. El proceso de adaptar estas herramientas ydesarrollar nuevas para los sistemas conducidos por eventos tiene solo unos pocos a˜os [2]. Por este motivo, encontramos en la teor´ de los sisn ıa temas de eventos discretos no s´lo una serie de herramienta espec´ o ıficas para atacar problemas de modelizaci´n, simulaci´n y an´lisis de sistemas altamente o o a ligados a la pr´ctica de la ingenier´ y a los problemas de la inform´tica, sino a ıa atambi´n un campo f´rtil para el desarrollo de nuevas t´cnicas y teor´ debido e e e ıas a la cantidad de problemas a´n abiertos en el area. u ´ Dentro de los formalismos mas populares de representaci´n de sistemas de o eventos discretos (DES) est´n las Redes de Petri, las Statecharts, Grafcet, Graa fos de Eventos y muchas generalizaciones y particularizaciones de los mismos. Con respecto a lasherramientas de an´lisis, sin dudas las m´s interesantes a a son las obtenidas con la introducci´n de estructuras algebraicas de tipo dioio des max-plus y min-plus [1]. Nos ocuparemos, sin embargo, exclusivamente de modelizaci´n y simulaci´n, dejando de lado estas herramientas de an´lisis. o o a Orientado a los problemas de modelizaci´n y simulaci´n de DES, Bernard o o Zeigler propuso a mediados...