CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Modelado y Simulación de Redes de Petri con el Formalismo DEVS
Autor/es:
TAIHÚ PIRE; FEDERICO BERGERO; KOFMAN, ERNESTO
Lugar:
Buenos Aires
Reunión:
Congreso; XXII Congreso Argentino de Control Automático; 2010
Institución organizadora:
Asociación Argentina de Control Automático
Resumen:
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ás apropiado. Se presentan también dos ejemplos de uso de la librería donde se ilustran algunas de sus características.
