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