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 Renzo
Formato: conferenceObject
Lenguaje:Español
Publicado: 2022
Materias:
Procesador de Petri
Sistemas de tiempo real
IP-cores
Programación
Sistema Multi-core
Acceso en línea:http://hdl.handle.net/11086/28965
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-28965
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Procesador de Petri
Sistemas de tiempo real
IP-cores
Programación
Sistema Multi-core
spellingShingle Procesador de Petri
Sistemas de tiempo real
IP-cores
Programación
Sistema Multi-core
Micolini, Orlando
Nonino, Julián
Pisetta, Carlos Renzo
IP core para redes de Petri con tiempo
topic_facet Procesador de Petri
Sistemas de tiempo real
IP-cores
Programación
Sistema Multi-core
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 conferenceObject
author Micolini, Orlando
Nonino, Julián
Pisetta, Carlos Renzo
author_facet Micolini, Orlando
Nonino, Julián
Pisetta, Carlos Renzo
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 2022
url http://hdl.handle.net/11086/28965
work_keys_str_mv AT micoliniorlando ipcorepararedesdepetricontiempo
AT noninojulian ipcorepararedesdepetricontiempo
AT pisettacarlosrenzo ipcorepararedesdepetricontiempo
bdutipo_str Repositorios
_version_ 1764820392885616641

Ejemplares similares