Efficient representations of alternative models of discrete event systems based on petri nets

  1. Latorre, J.I. 1
  2. Jimenez, E. 2
  3. Perez, M. 2
  1. 1 Universidad Pública de Navarra
    info

    Universidad Pública de Navarra

    Pamplona, España

    ROR https://ror.org/02z0cah89

  2. 2 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Libro:
Proceedings - 2011 UKSim 13th International Conference on Modelling and Simulation, UKSim 2011

ISBN: 978-076954376-5

Año de publicación: 2011

Volumen: 5754249

Páginas: 281-286

Tipo: Capítulo de Libro

DOI: 10.1109/UKSIM.2011.60 SCOPUS: 2-s2.0-79956148019 GOOGLE SCHOLAR

Resumen

The design of technological systems that can be modelled as discrete event systems (DES) constitute a difficult problem with important implications in the performance of the operation of the systems during their complete lifetime. The independent simulation of the behaviour of selected alternative structures for the system to be designed constitutes a classical approach for the decision support systems. This paper provides with a new methodology for affording the design process of a DES that overcomes two of the main drawbacks of the classical approach. On the one hand, simulation is substituted by optimisation, hence it is a search algorithm that chooses the operation conditions of the simulations. On the other hand, the independent analysis of a selected set of alternative systems that comply with the specifications of the system to be designed is transformed in a single process, where the independent state spaces are merged and the redundant information on the different alternative models is reduced. As a result, an important improvement in the efficiency of the algorithms developed for the decision support systems is achieved. An introduction in the concepts of alternative and compound Petri nets, as well as the transformation algorithms is provided in this paper. Furthermore, an illustration of the mentioned concepts is given. The conclusions reveal this approach as very promising, applied to the design of the structure of discrete event systems. © 2011 IEEE.