• DocumentCode
    1028418
  • Title

    Counterexamples to "liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods"

  • Author

    Xie, Xiaolan ; Giua, Alessandro

  • Author_Institution
    INRIA/MACSI Team, Metz, France
  • Volume
    49
  • Issue
    7
  • fYear
    2004
  • fDate
    7/1/2004 12:00:00 AM
  • Firstpage
    1217
  • Lastpage
    1219
  • Abstract
    This note shows by means of simple counterexamples that some key results presented by He and Lemmon in the above paper (Automat. Contr., vol. 47, pp. 1042-1055, July 2002) on the liveness verification and enforcing of Petri nets using unfolding are incorrect. As a result, the applicability of unfolding for Petri net supervision is still an open issue.
  • Keywords
    Petri nets; control system analysis; bounded ordinary Petri nets; liveness enforcing supervision; partial order methods; Helium; Joining processes; Petri nets; System recovery;
  • fLanguage
    English
  • Journal_Title
    Automatic Control, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9286
  • Type

    jour

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