Resumen

Basado en el formalismo multiDEVS, presentamos multiPDEVS, un formalismo paralelo y no modular para la especificación de sistemas de eventos discretos. Este formalismo proporciona ventajas combinadas de los enfoques PDEVS y multiDEVS, como excelentes capacidades de simulación para eventos programados simultáneamente y componentes capaces de influirse mutuamente utilizando exclusivamente sus transiciones de estado. A continuación, demostramos la solidez del formalismo mediante una construcción que muestra que cualquier modelo multiPDEVS es equivalente a un modelo atómico PDEVS. Luego presentamos el procedimiento de simulación asociado, generalmente llamado. Como un formalismo bien adaptado para expresar autómatas celulares, finalmente proponemos comparar una implementación del formalismo multiPDEVS con una implementación más clásica de Cell-DEVS a través de una aplicación de propagación de incendios.

• Materias:Big Data Restricciones distribuidas Algoritmo de inferencia Gestión administrativa
• Subjects:Big Data Distributed constraints Inference algorithm Administrative management
• Palabras claves:Formalismo; MultiPDEVS; Simulación; PDEVS; Componentes; Autómatas celulares
• Keywords:Formalism; MultiPDEVS; Simulation; PDEVS; Components; Cellular automata