dc.contributor.author | Micolini, Orlando | |
dc.contributor.author | Caro, María F. | |
dc.contributor.author | Furey, Ignacio | |
dc.contributor.author | Cebollada, Marcelo | |
dc.date.accessioned | 2022-10-21T15:27:38Z | |
dc.date.available | 2022-10-21T15:27:38Z | |
dc.date.issued | 2014 | |
dc.identifier.issn | 1850-2806 | |
dc.identifier.uri | http://hdl.handle.net/11086/29084 | |
dc.description.abstract | Actualmente, se utilizan sistemas concurrentes que cuentan con múltiples procesadores y múltiples hilos y/o procesos ejecutándose simultáneamente. Las redes de Petri surgen como una manera gráfica, sencilla y con una sólida base formal matemática, para el modelado de dichos sistemas concurrentes. El objetivo de este trabajo es generar el código de los procesos secuenciales de un sistema concurrente y paralelo, modelado por una red de Petri, la cual guía la ejecución secuencial de dichos procesos, y puede ser conducida por los procesadores de Petri. Esto permite resolver la concurrencia y el paralelismo del sistema con la red de Petri, y simplificar el diseño de los procesos secuenciales, desacoplando la parte secuencial de la parte paralela. Para esto, se desarrolló un framework con el cual se puede diseñar y generar el código de un sistema real
concurrente y paralelo. El framework desarrollado se ha probado con distintos problemas modelados con redes de Petri orientadas a procesos (POPN), que son lo suficientemente generales y con características diferentes, que representan
una amplia diversidad de escenarios; en este trabajo se presenta un caso para el cual también se obtuvieron programas con mejores desempeño que con semáforos, como se muestra a continuación. | es |
dc.description.uri | http://43jaiio.sadio.org.ar/proceedings/AST/Paper11_AST_Micolini.pdf | |
dc.format.medium | Electrónico y/o Digital | |
dc.language.iso | spa | es |
dc.rights | Attribution-NonCommercial-ShareAlike 4.0 International | * |
dc.rights.uri | https://creativecommons.org/licenses/by-nc-sa/4.0/ | * |
dc.subject | Framework | es |
dc.subject | Multicore | es |
dc.subject | Sistemas reactivos | es |
dc.subject | POPN | es |
dc.title | Generación de código de sistemas concurrentes a partir de Redes de Petri orientadas a procesos | es |
dc.type | conferenceObject | es |
dc.description.fil | Fil: Micolini, Orlando. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina. | es |
dc.description.fil | Fil: Caro, María F. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina. | es |
dc.description.fil | Fil: Furey, Ignacio. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina. | es |
dc.description.fil | Fil: Cebollada, Marcelo. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Laboratorio de Arquitectura de Computadoras; Argentina. | es |
dc.description.field | Hardware y Arquitectura de Computadoras | |
dc.conference.city | Buenos Aires | |
dc.conference.country | Argentina | |
dc.conference.editorial | 43 JAIIO - AST 2014 | |
dc.conference.event | 43 JAIIO - AST 2014 | |
dc.conference.eventcity | Buenos Aires | |
dc.conference.eventcountry | Argentina | |
dc.conference.eventdate | 2014-9 | |
dc.conference.institution | SADIO | |
dc.conference.journal | 43 JAIIO 2014 | |
dc.conference.publication | Revista | |
dc.conference.work | Artículo Completo | |
dc.conference.type | Congreso | |