Modeling and Simulation for Complex Discrete Event Engineering: An Approach Based on the Distributed Simulation of Petri Nets in Cloud

Start date

End date


Modeling and simulation play a fundamental role in the development of system engineering processes, facilitating their design, the evaluation of architectural solutions, complementing tests, and allowing the evaluation of the system's performance. These techniques are very useful with the system already operating, to dynamically allow the redesign, configuration, monitoring and continuous maintenance of the capacity, quality and efficiency of the operational processes.

In recent years, discrete event systems from fields as diverse as IoT, logistics, fleets of electric vehicles, etc., have given rise to a growing need for simulation tools for the different phases of their life cycle. All of them are of a high economic impact, of a high complexity, and highly scalable. The simulation of these systems represents, therefore, an important conceptual and technological challenge that guides to:

  1. the use of formal models for their description and information extraction with the aim of generating the simulator;
  2. the development of technical concepts and distributed simulation tools to make the simulation feasible, taking advantage, for example, from the concurrency inherent to the simulation of these systems through dynamic load balancing;
  3. the implementation of distributed simulations as a service on large computing infrastructures, with a preference for cloud-like platforms.

These are the objectives of this project. The validation of the proposals will be carried out on realistic systems extracted from case studies in fields such as logistics, fleets of electric vehicles for recharging, or cloud systems themselves.