For the most recent entries see the Petri Nets Newsletter.

Análisis de programas concurrentes mediante Redes de Petri.

Martínez, J.; Colom, J.M.; Silva, M.

In: Actas del VI Congreso de Automática e Informática de la AEIA, Madrid, Espana, pages 519-523. 1985.

Abstract: El análisis del flujo de control de un programa concurrente es el objetivo central de este trabajo. La aproximación seguida se basa en la extracción de un modelo de tal flujo construído con herramientas de la familia de las redes de Petri (redes de Petri ordinarias y coloreadas). Se presenta un conjunto de ideas clave que permite la traducción de estructuras de control y los mecanismos de llamada y retorno de rutinas (incluso reentrantes y recursivas) en un proceso secuencial. Los mecanismos de sincronización y comunicación de Pascal concurrente y Ada han sido estudiados y modelados. Finalmente se menciona un conjunto de programas de análisis de los modelos considerados, desarrollados en nuestro Departamento.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography