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

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

Editorial: Dime University of Genoa

ISBN: 978-889799932-4

Any de publicació: 2014

Pàgines: 594-600

Tipus: Capítol de llibre

SCOPUS: 2-s2.0-84912123213 GOOGLE SCHOLAR

Resum

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.