Generación de código de sistemas concurrentes a partir de redes de Petri orientadas a procesos
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...
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2014
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/41771 http://43jaiio.sadio.org.ar/proceedings/AST/Paper11_AST_Micolini.pdf |
| Aporte de: |
| id |
I19-R120-10915-41771 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Español |
| topic |
Ciencias Informáticas framework multicore procesador de Petri redes de Petri sistemas reactivos |
| spellingShingle |
Ciencias Informáticas framework multicore procesador de Petri redes de Petri sistemas reactivos Micolini, Orlando Caro, María Florencia Furey, Ignacio Cebollada, Marcelo Generación de código de sistemas concurrentes a partir de redes de Petri orientadas a procesos |
| topic_facet |
Ciencias Informáticas framework multicore procesador de Petri redes de Petri sistemas reactivos |
| 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 sis-tema 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 |
Objeto de conferencia Objeto de conferencia |
| author |
Micolini, Orlando Caro, María Florencia Furey, Ignacio Cebollada, Marcelo |
| author_facet |
Micolini, Orlando Caro, María Florencia 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 |
2014 |
| url |
http://sedici.unlp.edu.ar/handle/10915/41771 http://43jaiio.sadio.org.ar/proceedings/AST/Paper11_AST_Micolini.pdf |
| work_keys_str_mv |
AT micoliniorlando generaciondecodigodesistemasconcurrentesapartirderedesdepetriorientadasaprocesos AT caromariaflorencia generaciondecodigodesistemasconcurrentesapartirderedesdepetriorientadasaprocesos AT fureyignacio generaciondecodigodesistemasconcurrentesapartirderedesdepetriorientadasaprocesos AT cebolladamarcelo generaciondecodigodesistemasconcurrentesapartirderedesdepetriorientadasaprocesos |
| bdutipo_str |
Repositorios |
| _version_ |
1764820472883576833 |