IP core para redes de Petri con tiempo
Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales; Argentina.
| Main Authors: | , , |
|---|---|
| Format: | conferenceObject |
| Language: | spa |
| Published: |
2022
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/28965 |
| _version_ | 1801211867294597120 |
|---|---|
| author | Micolini, Orlando Nonino, Julián Pisetta, Carlos Renzo |
| author_facet | Micolini, Orlando Nonino, Julián Pisetta, Carlos Renzo |
| author_sort | Micolini, Orlando |
| collection | Repositorio Digital Universitario |
| description | Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales; Argentina. |
| format | conferenceObject |
| id | rdu-unc.28965 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2022 |
| record_format | dspace |
| spelling | rdu-unc.289652022-10-18T09:55:06Z IP core para redes de Petri con tiempo Micolini, Orlando Nonino, Julián Pisetta, Carlos Renzo Procesador de Petri Sistemas de tiempo real IP-cores Programación Sistema Multi-core Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales; Argentina. Fil: Nonino, Julián. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales; Argentina. Fil: Pisetta, Carlos Renzo. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales; Argentina. 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. http://sedici.unlp.edu.ar/handle/10915/31327 Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales; Argentina. Fil: Nonino, Julián. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales; Argentina. Fil: Pisetta, Carlos Renzo. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales; Argentina. Ciencias de la Computación 2022-10-17T15:48:38Z 2022-10-17T15:48:38Z 2013 conferenceObject http://hdl.handle.net/11086/28965 spa Attribution-NonCommercial-ShareAlike 4.0 International https://creativecommons.org/licenses/by-nc-sa/4.0/ Electrónico y/o Digital |
| 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 |
| title | 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_short | IP core para redes de Petri con tiempo |
| title_sort | ip core para redes de petri con tiempo |
| topic | Procesador de Petri Sistemas de tiempo real IP-cores Programación Sistema Multi-core |
| url | http://hdl.handle.net/11086/28965 |
| work_keys_str_mv | AT micoliniorlando ipcorepararedesdepetricontiempo AT noninojulian ipcorepararedesdepetricontiempo AT pisettacarlosrenzo ipcorepararedesdepetricontiempo |