Mixing formalisms based on Petri nets for improving the efficiency of modelling and simulation of DES
- Latorre-Biel, J.I. 2
- Pérez-Parte, M. 2
- Sáenz-Díez, J.C. 1
- García-Alcaraz, J.L. 2
- Jiménez-Macías, E. 2
-
1
Universidad Autónoma de Ciudad Juárez
info
-
2
Universidad de La Rioja
info
Editorial: Dime University of Genoa
ISBN: 978-889799932-4
Any de publicació: 2014
Pàgines: 594-600
Tipus: Capítol de llibre
beta Ver similares en nube de resultadosResum
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.