• DocumentCode
    1662743
  • Title

    Maximally permissive controllers for controlled time Petri nets

  • Author

    Takae, Akiteru ; Takai, Shigemasa ; Ushio, Toshimitsu ; Kumagai, Sadatoshi ; Kodama, Shinzo

  • Author_Institution
    Dept. of Electron. Eng., Osaka Univ., Japan
  • Volume
    2
  • fYear
    1994
  • Firstpage
    1058
  • Abstract
    Studies concurrent discrete event systems modeled by controlled time Petri nets. The authors derive a necessary and sufficient condition for the unique existence of the maximally permissive controller (MPC). Then the authors derive a closed form expression of the unique MPC if it exists
  • Keywords
    Petri nets; discrete event systems; concurrent discrete event systems; controlled time Petri nets; maximally permissive controllers; necessary and sufficient existence condition; unique existence; Clocks; Communication system control; Concurrent computing; Control system synthesis; Discrete event systems; Fires; Petri nets; State feedback; Sufficient conditions; Supervisory control;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on
  • Conference_Location
    Lake Buena Vista, FL
  • Print_ISBN
    0-7803-1968-0
  • Type

    conf

  • DOI
    10.1109/CDC.1994.411285
  • Filename
    411285
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1662743