2014
EMSS 2014 Proceeding
Mixing formalisms based on Petri nets for improving the efficiency of modelling and simulation of DES
Authors: Juan Ignacio Latorre-Biel, Mercedes Pérez-Parte, Juan Carlos Sáenz-Díez, Jorge L. García-Alcaraz, Emilio Jiménez-Macías
Abstract
The use of formal languages for describing discrete event systems provides with high quality tools for validation, verification, simulation, or optimization. Choosing and using an appropriate formalism for modeling a system is crucial for these purposes, since this choice might influence the easiness of modeling or the speed of simulation. For example, the performance of simulation-based optimization is usually very sensitive to the size of the model of the system. Large models require more computational effort and they are very common in realistic modeling and simulation. In large models, it might be recommendable the use of different formalisms for every subsystem. This paper deals with the theoretical analysis of this situation, focussed on a paradigm, such as the Petri nets, which offer a wide range of formalisms, and an application field, such as the discrete event systems with alternative structural configurations, which usually provide with large models for developing decision support systems.
I3M Scientific Sponsors
I3M Industrial Sponsors
I3M Media Sponsors
