• DocumentCode
    2544093
  • Title

    Performance evaluation of petri nets execution algorithms

  • Author

    Moreno, Ramón Piedrafita ; Salcedo, José Luis Villarroel

  • Author_Institution
    Univ. of Zaragoza, Zaragoza
  • fYear
    2007
  • fDate
    7-10 Oct. 2007
  • Firstpage
    1400
  • Lastpage
    1407
  • Abstract
    In this paper we present a performance evaluation of interpreted and centralized implementation techniques of Petri nets. These implementation techniques allow the translation of a system model expressed by a Petri net to an actual system with the same behaviour as the model. It has been used in different application fields such as programmable logic controllers. Four techniques have been analysed: Brute Force, Enabled Transitions, Static Representing Places and Dynamic Representing Places. The analysis has been carried out over a Petri net library composed by well know models which can be scaled using a parameter. The analysis of results shows that the performance of the algorithms depends on the Petri net behaviour (concurrency v.s. effective conflicts). However, it is also showed that Brute Force technique can be discarded and that the Static Representing Places performs better that the dynamic version when the selection of representing places is done based on behavioural information.
  • Keywords
    Petri nets; concurrency control; language translation; software libraries; Brute Force; Dynamic Representing Places; Enabled Transitions; Petri net behaviour; Petri net library; Petri nets execution algorithms; Static Representing Places; system model translation; Application software; Centralized control; Concurrent computing; Data structures; Fires; Hardware; Libraries; Petri nets; Programmable control; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man and Cybernetics, 2007. ISIC. IEEE International Conference on
  • Conference_Location
    Montreal, Que.
  • Print_ISBN
    978-1-4244-0990-7
  • Electronic_ISBN
    978-1-4244-0991-4
  • Type

    conf

  • DOI
    10.1109/ICSMC.2007.4413868
  • Filename
    4413868