A variety of phenomena (such as the spread of diseases, pollution in rivers, etc.) can be studied as diffusion processes over networks (i.e., the diffusion of the phenomenon over a set of interconnected entities). This research introduces a method to study such diffusion processes in multiplex dynamic networks. We use a formal Modeling and Simulation methodology (in our case, DEVS, Discrete-Event System Specification). We use DEVS formal models to integrate models defined using Agent-Based Modeling and Network Theory. We present (1) an Architecture to study Diffusion Processes in Multiplex dynamic networks (ADPM) and (2) a systematic Process to define, implement, and simulate diffusion processes over such networks. We show a theoretical definition and a concrete implementation of ADPM. We show how to use ADPM and the process in a case study based on a real nuclear emergency plan; this illustrates the application of the process, the architecture, and the developed software. Different scenarios are studied as Diffusion Processes to demonstrate the usability of ADPM.

中文翻译：

---

多路网络中扩散过程的离散事件建模和仿真

各种现象（如疾病传播、河流污染等）可以作为网络上的扩散过程（即现象在一组相互关联的实体上的扩散）进行研究。本研究介绍了一种研究多路动态网络中这种扩散过程的方法。我们使用正式的建模和仿真方法（在我们的例子中，DEVS，离散事件系统规范）。我们使用 DEVS 形式模型来集成使用基于代理的建模和网络理论定义的模型。我们提出 (1) 一个建筑学研究多路复用动态网络 (ADPM) 中的扩散过程和 (2) 系统的过程定义、实施和模拟此类网络上的扩散过程。我们展示了 ADPM 的理论定义和具体实现。我们展示了如何在基于真实核应急计划的案例研究中使用 ADPM 和流程；这说明了流程、架构和开发软件的应用。不同的场景被研究为扩散过程，以证明 ADPM 的可用性。