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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Micolini, Orlando, Nonino, Julián, Pisetta, Carlos R.
Formato: conferenceObject
Lenguaje:Inglés
Publicado: 2022
Materias:
Multi-Core system
Software
Hardware
Timed Petri Nets semantics
Acceso en línea:http://hdl.handle.net/11086/28634
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
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

Ejemplares similares