• DocumentCode
    3621608
  • Title

    Parallel algorithm for computation of deadlocks and traps in Petri nets

  • Author

    A. Wegrzyn

  • Author_Institution
    Univ. of Zielona Gora, Poland
  • Volume
    1
  • fYear
    2005
  • fDate
    6/27/1905 12:00:00 AM
  • Lastpage
    148
  • Abstract
    In the paper the method of computation all deadlocks and traps in the Petri net is presented. This method is based on Thelen method. Methods of calculation of all deadlocks and traps in Petri nets are very time consuming. Therefore it is very important to optimize a computation. The parallel computation method for the time reduction is proposed. Experimental results of presented method are discussed, as well
  • Keywords
    "Parallel algorithms","Concurrent computing","System recovery","Petri nets","Digital circuits","Parallel processing","Equations","Testing","Boolean functions","Bipartite graph"
  • Publisher
    ieee
  • Conference_Titel
    Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on
  • Print_ISBN
    0-7803-9401-1
  • Type

    conf

  • DOI
    10.1109/ETFA.2005.1612513
  • Filename
    1612513