• DocumentCode
    1761368
  • Title

    On the Notion of Uncontrollable Marking in Supervisory Control of Petri Nets

  • Author

    Lacerda, Bruno ; Lima, Pedro U.

  • Author_Institution
    Sch. of Comput. Sci., Univ. of Birmingham, Birmingham, UK
  • Volume
    59
  • Issue
    11
  • fYear
    2014
  • fDate
    Nov. 2014
  • Firstpage
    3069
  • Lastpage
    3074
  • Abstract
    We show that the notion of uncontrollable marking commonly used in the literature on supervisory control theory of Petri nets is not sound, by means of a counter-example. We also show how the definition can be corrected and provide an adaptation of a decidability proof for the problem of checking controllability for specifications expressed as deterministic Petri net languages.
  • Keywords
    Petri nets; controllability; decidability; discrete event systems; controllability checking; decidability proof; deterministic Petri net languages; discrete event systems; supervisory control theory; uncontrollable marking; Controllability; Feedback loop; Frequency modulation; Manganese; Petri nets; Supervisory control; Synchronization; Controllability; Petri nets (PNs); discrete event systems (DES); supervisory control;
  • fLanguage
    English
  • Journal_Title
    Automatic Control, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9286
  • Type

    jour

  • DOI
    10.1109/TAC.2014.2320801
  • Filename
    6807731
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1761368