A New Simulation Algorithm for PDEVS Models with Time Advance Zero

Abstract

Discrete Event Systems Specification (DEVS) is a well-known formalism to develop models using the discrete event approach. One advantage of DEVS is a clear separation between the modeling and simulation activities. The user only needs to develop models and general algorithms execute the simulations. The PDEVS simulation protocol is a well-know and widely accepted algorithm to execute DEVS simulations. However, when events are scheduled with time advance equal to zero, this algorithm handles them sequentially. Events that occur at the same time are processed one after the other. This may result in unwanted simulation results. In this work, we propose a new algorithm that assures that the output bag of a model is transmitted only when all the outputs corresponding to a given simulation time have been collected.