IP core para redes de Petri con tiempo

Mostrar todas las versiones(2)

En este trabajo, se presenta un procesador de Redes de Petri con Tiempo, el que es la evolución del Procesador de Petri Temporizado. Este procesador es programado directamente con las matrices y vectores del formalismo de Petri, lo que permite aprovechar el poder de las redes de Petri para modelar s...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Micolini, Orlando, Nonino, Julián, Pisetta, Carlos
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2013
Materias:
Ciencias Informáticas
multi-core
Petri nets
Processors
red de Petri
procesador
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/31327
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-31327
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
multi-core
Petri nets
Processors
red de Petri
procesador
spellingShingle Ciencias Informáticas
multi-core
Petri nets
Processors
red de Petri
procesador
Micolini, Orlando
Nonino, Julián
Pisetta, Carlos
IP core para redes de Petri con tiempo
topic_facet Ciencias Informáticas
multi-core
Petri nets
Processors
red de Petri
procesador
description En este trabajo, se presenta un procesador de Redes de Petri con Tiempo, el que es la evolución del Procesador de Petri Temporizado. Este procesador es programado directamente con las matrices y vectores del formalismo de Petri, lo que permite aprovechar el poder de las redes de Petri para modelar sistemas de tiempo real y verificar formalmente sus propiedades, evitando errores de programación al implementar el programa a ejecutar. Este desarrollo ha sido realizado como un IP-cores y es usado en un sistema Multi-core. De esta manera, es posible realizar la implementación del sistema utilizando este IP-core, lo que asegura las propiedades del modelo realizado con la red de Petri con Tiempo, que verifican los requerimientos del modelo que representa al sistema real, sean cumplido.
format Objeto de conferencia
Objeto de conferencia
author Micolini, Orlando
Nonino, Julián
Pisetta, Carlos
author_facet Micolini, Orlando
Nonino, Julián
Pisetta, Carlos
author_sort Micolini, Orlando
title IP core para redes de Petri con tiempo
title_short IP core para redes de Petri con tiempo
title_full IP core para redes de Petri con tiempo
title_fullStr IP core para redes de Petri con tiempo
title_full_unstemmed IP core para redes de Petri con tiempo
title_sort ip core para redes de petri con tiempo
publishDate 2013
url http://sedici.unlp.edu.ar/handle/10915/31327
work_keys_str_mv AT micoliniorlando ipcorepararedesdepetricontiempo
AT noninojulian ipcorepararedesdepetricontiempo
AT pisettacarlos ipcorepararedesdepetricontiempo
bdutipo_str Repositorios
_version_ 1764820470985654276

Ejemplares similares