Generación de código de sistemas concurrentes a partir de Redes de Petri orientadas a procesos

Mostrar todas las versiones(2)

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

Descripción completa

Detalles Bibliográficos
Autores principales: Micolini, Orlando, Caro, María F., Furey, Ignacio, Cebollada, Marcelo
Formato: conferenceObject
Lenguaje:Español
Publicado: 2022
Materias:
Framework
Multicore
Sistemas reactivos
POPN
Acceso en línea:http://hdl.handle.net/11086/29084
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-29084
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Framework
Multicore
Sistemas reactivos
POPN
spellingShingle Framework
Multicore
Sistemas reactivos
POPN
Micolini, Orlando
Caro, María F.
Furey, Ignacio
Cebollada, Marcelo
Generación de código de sistemas concurrentes a partir de Redes de Petri orientadas a procesos
topic_facet Framework
Multicore
Sistemas reactivos
POPN
description 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.
format conferenceObject
author Micolini, Orlando
Caro, María F.
Furey, Ignacio
Cebollada, Marcelo
author_facet Micolini, Orlando
Caro, María F.
Furey, Ignacio
Cebollada, Marcelo
author_sort Micolini, Orlando
title Generación de código de sistemas concurrentes a partir de Redes de Petri orientadas a procesos
title_short Generación de código de sistemas concurrentes a partir de Redes de Petri orientadas a procesos
title_full Generación de código de sistemas concurrentes a partir de Redes de Petri orientadas a procesos
title_fullStr Generación de código de sistemas concurrentes a partir de Redes de Petri orientadas a procesos
title_full_unstemmed Generación de código de sistemas concurrentes a partir de Redes de Petri orientadas a procesos
title_sort generación de código de sistemas concurrentes a partir de redes de petri orientadas a procesos
publishDate 2022
url http://hdl.handle.net/11086/29084
work_keys_str_mv AT micoliniorlando generaciondecodigodesistemasconcurrentesapartirderedesdepetriorientadasaprocesos
AT caromariaf generaciondecodigodesistemasconcurrentesapartirderedesdepetriorientadasaprocesos
AT fureyignacio generaciondecodigodesistemasconcurrentesapartirderedesdepetriorientadasaprocesos
AT cebolladamarcelo generaciondecodigodesistemasconcurrentesapartirderedesdepetriorientadasaprocesos
bdutipo_str Repositorios
_version_ 1764820393019834369

Ejemplares similares