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

Ejemplares similares

Ejemplares similares