We present an overview of PythonPDEVS, a family of DEVS simulation kernels. While a
plethora of DEVS simulation kernels exist nowadays, we believe that there is a gap between …

Discrete Event System Specification (DEVS) is a mathematical formalism to model and
simulate discrete-event dynamic systems. The advantages of DEVS include a rigorous …

DEVS is a popular formalism for modeling complex dynamic systems using a discrete-event
abstraction. Owing to its popularity, and the simplicity of the simulation kernel, a number of …

Abstract Employing Modeling and Simulation (M&S) extensively to analyze and develop
complex systems is the norm today. The use of robust M&S formalisms and rigorous …

This open access book coherently gathers well-founded information on the fundamentals of
and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross …

Discrete Event System Specification (DEVS) is a popular formalism for modeling complex
dynamic systems using a discrete-event abstraction. At this abstraction level, a timed …

The discrete event system specification formalism, which supports hierarchical and modular
model composition, has been widely used to understand, analyze and develop a variety of …

We extend PythonPDEVS, our modular simulator for the Parallel DEVS formalism, with
distributed simulation using optimistic synchronization based on Time Warp. Modularity is …

Abstract Discrete Event System Specification is an extension of the Moore machine
formalism which is used for modelling and analyzing general systems. This hierarchical and …

To this day, debugging support for the DEVS formalism has been provided, at best, in an ad-
hoc way. The intricacies of dealing with the interplay of different notions of (simulated) time …