• DocumentCode
    1392814
  • Title

    Optimal controllability of 2-composed siphons in a class of Petri nets

  • Author

    Hou, Y.F. ; Li, Z.W. ; Al-Ahmari, A.M.

  • Author_Institution
    Xidian Univ., Xi´an, China
  • Volume
    48
  • Issue
    24
  • fYear
    2012
  • Firstpage
    1535
  • Lastpage
    1537
  • Abstract
    Proposesd is a controllability condition of a siphon that is composed of two elementary siphons in a class of Petri nets, Systems of Simple Sequential Processes with Resources (S3PR). It is shown that, under the condition, an S3PR admits a maximally permissive liveness-enforcing supervisor that is expressed by a set of monitors if every dependent siphon is 2-composed, which can be decided by an algorithm with polynomial complexity.
  • Keywords
    Petri nets; computational complexity; controllability; flexible manufacturing systems; optimal control; 2-composed siphons; Petri nets; S3PR; deadlock occurrences; deadlock problems; elementary siphons; flexible manufacturing systems; maximally permissive liveness-enforcing supervisor; optimal controllability condition; polynomial complexity; systems-of-simple sequential processes-with-resources;
  • fLanguage
    English
  • Journal_Title
    Electronics Letters
  • Publisher
    iet
  • ISSN
    0013-5194
  • Type

    jour

  • DOI
    10.1049/el.2012.2336
  • Filename
    6400380
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1392814