Using simulation to integrate ordering and complex selecting criteria into coloured petri net models

• Enrique Arjona ^[1] ; Graciela Bueno ^[1]
  1. [1] Colegio Postgraduados, Montecillo
• Localización: Agrociencia, ISSN 2521-9766, ISSN-e 1405-3195, Vol. 41, Nº. 8, 2007, págs. 883-901
• Idioma: inglés
• Títulos paralelos:
  • Integración de criterios de ordenamiento y selección compleja en redes de petri coloreadas usando simulación
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    Las redes de Petri coloreadas (RPC) han sido muy usadas para modelar sistemas de eventos discretos (SED). Sin embargo, en la literatura científica sobre RPC se han publicado muy pocos modelos de criterios de ordenamiento y de selección compleja.

    Los modelos de RPC de dichos criterios no son obvios porque son no lineales y las RPC sólo pueden utilizar funciones lineales para las transiciones de estado. Este artículo presenta un conjunto de módulos de RPC independientes que simulan varios criterios de ordenamiento y de selección compleja. El artículo incluye las pruebas matemáticas de la validez funcional de los módulos y un ejemplo de su uso en un modelo real de un ingenio azucarero.

  • English

    Coloured Petri nets (CPNs) have been widely used to model discrete-event systems (DES). However, only a few models of ordering and complex selecting criteria have been published in the CPN literature. CPN models of these criteria are not obvious because the criteria are nonlinear and CPNs can use only linear functions for state transitions. This paper presents a set of independent CPN modules that simulate several ordering and complex selecting criteria. The paper includes formal proofs of the functional validity of the modules and an example of their use in a real-life simulation model of a sugarcane plantation.