logo móvil

Mapeo de Redes de Petri en un Cálculo de Ambientes Conscientes del Contexto

Autores: Siewe, François; Germanos, Vasileios; Zeng, Wen

Idioma: Inglés

Editor: MDPI

Año: 2024

Descargar PDF

Acceso abierto

Artículo científico


Categoría

Ingeniería y Tecnología

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 10

Citaciones: Sin citaciones


Descripción
Las redes de Petri son una notación gráfica para describir una clase de sistemas dinámicos de eventos discretos cuyos comportamientos se caracterizan por la concurrencia, la sincronización, la exclusión mutua y el conflicto. A lo largo de los años, se han utilizado para modelar diversas aplicaciones de sistemas distribuidos. Con la llegada de los sistemas ubicuos y el Internet de las Cosas, el Cálculo de Ambientes Conscientes del Contexto (CCA) ha surgido como una notación formal adecuada para analizar los comportamientos de estos sistemas. En este artículo, estamos interesados en comparar el poder expresivo de las redes de Petri con el de CCA. Es decir, ¿puede la clase de sistemas representados por redes de Petri ser modelada en CCA? Para responder a esta pregunta, se propone un algoritmo que mapea cualquier red de Petri a un proceso CCA. Demostramos que una red de Petri y su correspondiente proceso CCA son equivalentes desde el punto de vista del comportamiento. Se sigue que CCA es al menos tan expresivo como las redes de Petri, es decir, cualquier sistema que se pueda especificar en redes de Petri también se puede especificar en CCA. Además, las herramientas desarrolladas para CCA también se pueden utilizar para analizar los comportamientos de las redes de Petri.

Documentos Relacionados

Temas Virtualpro