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

Guardado en:
Detalles Bibliográficos
Autores principales: Micolini, Orlando, Caro, María Florencia, Furey, Ignacio, Cebollada, Marcelo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2014
Materias:
Ciencias Informáticas
framework
multicore
procesador de Petri
redes de Petri
sistemas reactivos
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:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares