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

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

ISBN: 978-076954376-5

Year of publication: 2011

Volume: 5754249

Pages: 281-286

Type: Book chapter

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

Abstract

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.