• DocumentCode
    909940
  • Title

    Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior

  • Author

    Hu, Hesuan ; Li, ZhiWu

  • Author_Institution
    Sch. of Electro-Mech. Eng., Xidian Univ., Xi´´an, China
  • Volume
    6
  • Issue
    3
  • fYear
    2009
  • fDate
    7/1/2009 12:00:00 AM
  • Firstpage
    557
  • Lastpage
    559
  • Abstract
    In previous work, an acceptable transformation of an unacceptable specification on a Petri net can be implemented through a set of mathematical programming formulations. However, such a method becomes invalid when no solution exists in practice. In this paper, we reestablish these formulations and show their correctness.
  • Keywords
    Petri nets; integer programming; resource allocation; Petri net; integer programming formulation; liveness-enforcing supervisor computation; mathematical programming formulation; resource allocation system; uncontrollable behavior; Liveness enforcing supervision; Petri nets; resource allocation systems; uncontrollability;
  • fLanguage
    English
  • Journal_Title
    Automation Science and Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    1545-5955
  • Type

    jour

  • DOI
    10.1109/TASE.2009.2021349
  • Filename
    4967864
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=909940