En 2 día(s), 4 hora(s) y 39 minuto(s): El día jueves 21/3 desde las 11:00 hasta las 13:00hs se llevará a cabo una CAPACITACIÓN virtual sobre el RepHip UNR. Para inscribirse debe completar el siguiente formulario: https://forms.gle/ZNCerV1vv5RDGRC16
 

Modelo y simulación de Redes de Petri con el formalismo DEVS

Fecha

2010-11-19

Título de la revista

ISSN de la revista

Título del volumen

Editor

Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario

Resumen

Existen en la actualidad una gran variedad de formalismos matemáticos para el modelado y simulación de sistemas. Entre ellos, tenemos las Redes de Petri (Petri Nets ó PN), un formalismo para modelado y simulación de sistemas discretos concurrentes. Por otro lado se encuentra DEVS (Discrete EVent System Specification), un formalismo orientado a la simulación de sistemas de eventos discretos. En este trabajo se modeló el formalismo de Redes de Petri, en DEVS. Permitiendo, de esta manera, integrar e interconectar modelos expresados en distintos formalismos (PN y DEVS) y simular estos modelos bajo el formalismo DEVS. Trabajos anteriores han modelado PN en DEVS pero en esta propuesta se utilizaron  algunas características particulares del simulador PowerDEVS para hacer modelos DEVS más similares a los modelos de PN. El desarrollo se realizó en el lenguaje de programación C++ sobre el simulador de DEVS llamado PowerDEVS, donde fue plasmado en una librería para su aplicación.

Descripción

Palabras clave

Redes de Petri, DEVS, PowerDEVS, Sistemas Híbridos

Citación

http://www.fceia.unr.edu.ar/lcc/t523