IP Core for Timed Petri Nets
In this article, we present a Timed Petri Nets Processor which can be directly programmed using Petri Nets formalism vectors and matrixes. This processor can leverage the power of Petri Nets for modeling real-time systems and formally verify their properties, which prevent programming errors...
Guardado en:
Autores principales: | , , |
---|---|
Formato: | conferenceObject |
Lenguaje: | Inglés |
Publicado: |
2022
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/28634 |
Aporte de: |
id |
I10-R141-11086-28634 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de Córdoba |
institution_str |
I-10 |
repository_str |
R-141 |
collection |
Repositorio Digital Universitario (UNC) |
language |
Inglés |
topic |
Multi-Core system Software Hardware Timed Petri Nets semantics |
spellingShingle |
Multi-Core system Software Hardware Timed Petri Nets semantics Micolini, Orlando Nonino, Julián Pisetta, Carlos R. IP Core for Timed Petri Nets |
topic_facet |
Multi-Core system Software Hardware Timed Petri Nets semantics |
description |
In this article, we present a Timed Petri Nets Processor which can be directly programmed using Petri Nets formalism vectors and matrixes. This processor can leverage the power of Petri Nets for modeling real-time systems and formally verify their properties, which prevent programming errors. The Petri Nets Processor was developed as an IP-core to be inserted in a Multi-Core system. Therefore, we can model the system requirements with Petri Nets, formally verifying all its properties and by using the IP-core to implement the system is possible to ensure that all properties will be met. |
format |
conferenceObject |
author |
Micolini, Orlando Nonino, Julián Pisetta, Carlos R. |
author_facet |
Micolini, Orlando Nonino, Julián Pisetta, Carlos R. |
author_sort |
Micolini, Orlando |
title |
IP Core for Timed Petri Nets |
title_short |
IP Core for Timed Petri Nets |
title_full |
IP Core for Timed Petri Nets |
title_fullStr |
IP Core for Timed Petri Nets |
title_full_unstemmed |
IP Core for Timed Petri Nets |
title_sort |
ip core for timed petri nets |
publishDate |
2022 |
url |
http://hdl.handle.net/11086/28634 |
work_keys_str_mv |
AT micoliniorlando ipcorefortimedpetrinets AT noninojulian ipcorefortimedpetrinets AT pisettacarlosr ipcorefortimedpetrinets |
bdutipo_str |
Repositorios |
_version_ |
1764820392416903168 |