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

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 Sys...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Pire, Taihú A. N.
Otros Autores: Kofman, Ernesto
Formato: bachelorThesis trabajo final de grado publishedVersion
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2014
Materias:
Redes de Petri
DEVS
PowerDEVS
Sistemas Híbridos
Acceso en línea:http://www.fceia.unr.edu.ar/lcc/t523
http://hdl.handle.net/2133/3564
http://hdl.handle.net/2133/3564
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario
id I15-R121-2133-3564
record_format dspace
institution Universidad Nacional de Rosario
institution_str I-15
repository_str R-121
collection Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR)
language Español
orig_language_str_mv spa
topic Redes de Petri
DEVS
PowerDEVS
Sistemas Híbridos
spellingShingle Redes de Petri
DEVS
PowerDEVS
Sistemas Híbridos
Pire, Taihú A. N.
Modelo y simulación de Redes de Petri con el formalismo DEVS
topic_facet Redes de Petri
DEVS
PowerDEVS
Sistemas Híbridos
description 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.
author2 Kofman, Ernesto
author_facet Kofman, Ernesto
Pire, Taihú A. N.
format bachelorThesis
trabajo final de grado
publishedVersion
author Pire, Taihú A. N.
author_sort Pire, Taihú A. N.
title Modelo y simulación de Redes de Petri con el formalismo DEVS
title_short Modelo y simulación de Redes de Petri con el formalismo DEVS
title_full Modelo y simulación de Redes de Petri con el formalismo DEVS
title_fullStr Modelo y simulación de Redes de Petri con el formalismo DEVS
title_full_unstemmed Modelo y simulación de Redes de Petri con el formalismo DEVS
title_sort modelo y simulación de redes de petri con el formalismo devs
publisher Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
publishDate 2014
url http://www.fceia.unr.edu.ar/lcc/t523
http://hdl.handle.net/2133/3564
http://hdl.handle.net/2133/3564
work_keys_str_mv AT piretaihuan modeloysimulacionderedesdepetriconelformalismodevs
bdutipo_str Repositorios
_version_ 1764820412249669633

Ejemplares similares