Mixing formalisms based on Petri nets for improving the efficiency of modelling and simulation of DES

  1. Latorre-Biel, J.I. 2
  2. Pérez-Parte, M. 2
  3. Sáenz-Díez, J.C. 1
  4. García-Alcaraz, J.L. 2
  5. Jiménez-Macías, E. 2
  1. 1 Universidad Autónoma de Ciudad Juárez
    info

    Universidad Autónoma de Ciudad Juárez

    Ciudad Juárez, México

    ROR https://ror.org/05fj8cf83

  2. 2 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Libro:
26th European Modeling and Simulation Symposium, EMSS 2014

Editorial: Dime University of Genoa

ISBN: 978-889799932-4

Año de publicación: 2014

Páginas: 594-600

Tipo: Capítulo de Libro

beta Ver similares en nube de resultados

Resumen

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.