INVESTIGADORES
PIRE Taihu Aguara Nahuel
congresos y reuniones científicas
Título:
Modelo y simulación de Redes de Petri con el formalismo DEVS
Autor/es:
TAIHÚ PIRE; FEDERICO BERGERO; ERNESTO KOFMAN
Lugar:
Buenos Aires
Reunión:
Congreso; AADECA 2010 - Semana del Control Automático - XXIIº Congreso Argentino de Control Automático; 2010
Resumen:
En este trabajo se presenta el desarrollo de una librería de Redes de Petri implementada completamente bajo un simulador de eventos discretos (DEVS) llamado PowerDEVS. Se describe la metodología utilizada para sortear los problemas que surgen de las diferencias entre estos formalismos modularidad vs. no-modularidad, cambios locales vs. cambios globales, prioridades vs. no determinismo) con el objetivo de mantener la apariencia gráfica de las Redes de Petri. Esta nueva librería permite el modelado y simulación de modelos híbridos interformalismos (DEVS y Redes de Petri) tomando ventajas de cada uno de ellos y utilizando cada uno donde es m´as apropiado. Se presentan también dos ejemplos de uso de la librería donde se ilustran algunas de sus características.
