Show simple item record

IP Core for Timed Petri Nets

dc.contributor.authorMicolini, Orlando
dc.contributor.authorNonino, Julián
dc.contributor.authorPisetta, Carlos R.
dc.date.accessioned2022-09-28T13:21:06Z
dc.date.available2022-09-28T13:21:06Z
dc.date.issued2013
dc.identifier.issn978-987-9374-88-7
dc.identifier.urihttp://hdl.handle.net/11086/28634
dc.description.abstractIn 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.es
dc.description.urihttp://www.sase.com.ar/2013/files/2013/09/CASE2013_ForoPoster_v5L.pdf
dc.format.mediumImpreso; Electrónico y/o Digital
dc.language.isoenges
dc.rightsAttribution-NonCommercial-ShareAlike 4.0 International*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.subjectMulti-Core systemes
dc.subjectSoftwarees
dc.subjectHardwarees
dc.subjectTimed Petri Nets semanticses
dc.titleIP Core for Timed Petri Netses
dc.typeconferenceObjectes
dc.description.filFil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.es
dc.description.filFil: Nonino, Julián. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.es
dc.description.filFil: Pisetta, Carlos R. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina.es
dc.description.fieldIngeniería Eléctrica y Electrónica
dc.conference.cityBuenos Aires
dc.conference.countryArgentina
dc.conference.editorialAsociación civil para la investigación, promoción y desarrollo de los sistemas electrónicos embebidos
dc.conference.eventCongreso Argentino de Sistemas Embebidos (CASE) 2013
dc.conference.eventcityBuenos Aires
dc.conference.eventcountryArgentina
dc.conference.eventdate2013-8
dc.conference.institutionSimposio Argentino de Sistemas Embebidos
dc.conference.journalCASE 2013 Libro de Trabajos de Foro Tecnológico y Pósters
dc.conference.publicationLibro
dc.conference.workArtículo Completo
dc.conference.typeCongreso


Files in this item

Thumbnail
Name:
timed_petri_nets.pdf
Size:
882.8Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-ShareAlike 4.0 International
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-ShareAlike 4.0 International