Modular Petri Net Processor for Embedded Systems
Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.
| Main Authors: | , , |
|---|---|
| Format: | conferenceObject |
| Language: | eng |
| Published: |
2025
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/556568 |
| _version_ | 1838625462875586560 |
|---|---|
| author | Micolini, Orlando Daniele, Emiliano N. Ventre, Luis O. |
| author_facet | Micolini, Orlando Daniele, Emiliano N. Ventre, Luis O. |
| 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. Laboratorio de Arquitectura de Computadoras; Argentina. |
| format | conferenceObject |
| id | rdu-unc.556568 |
| institution | Universidad Nacional de Cordoba |
| language | eng |
| publishDate | 2025 |
| record_format | dspace |
| spelling | rdu-unc.5565682025-07-24T15:15:45Z Modular Petri Net Processor for Embedded Systems Micolini, Orlando Daniele, Emiliano N. Ventre, Luis O. FPGA IP Core Heterogeneous multicore processor Arquitectura de computadoras TECHNOLOGY::Information technology Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina. Fil: Daniele, Emiliano N. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina. Fil: Ventre, Luis O. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina. Reactive and concurrent embedded systems execute restricted algorithms depending on the requirements. It is possible to implement one of these hardware-software systems by using a Petri Net Processor. If logic and policy are decoupled from the system actions, then we can improve maintainability and system validation. To achieve this, the Petri Processor is integrated with other traditional processors, forming a heterogeneous multi-core processor, which allows to verify the system using Petri Net mathematical formalisms. In this article, a Modular Petri Processor Architecture is exposed, as well as the inclusion of programmable queues that enhance maintainability, module re-usage and semantic extension. https://www.springer.com/us/book/9783319752136 Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina. Fil: Daniele, Emiliano N. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina. Fil: Ventre, Luis O. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina. Hardware y Arquitectura de Computadoras 2025-07-24T11:40:54Z 2025-07-24T11:40:54Z 2018 conferenceObject 1865-0929 http://hdl.handle.net/11086/556568 eng Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ Impreso; Electrónico y/o Digital |
| spellingShingle | FPGA IP Core Heterogeneous multicore processor Arquitectura de computadoras TECHNOLOGY::Information technology Micolini, Orlando Daniele, Emiliano N. Ventre, Luis O. Modular Petri Net Processor for Embedded Systems |
| title | Modular Petri Net Processor for Embedded Systems |
| title_full | Modular Petri Net Processor for Embedded Systems |
| title_fullStr | Modular Petri Net Processor for Embedded Systems |
| title_full_unstemmed | Modular Petri Net Processor for Embedded Systems |
| title_short | Modular Petri Net Processor for Embedded Systems |
| title_sort | modular petri net processor for embedded systems |
| topic | FPGA IP Core Heterogeneous multicore processor Arquitectura de computadoras TECHNOLOGY::Information technology |
| url | http://hdl.handle.net/11086/556568 |
| work_keys_str_mv | AT micoliniorlando modularpetrinetprocessorforembeddedsystems AT danieleemilianon modularpetrinetprocessorforembeddedsystems AT ventreluiso modularpetrinetprocessorforembeddedsystems |