• DocumentCode
    6140
  • Title

    METHODS FOR THE SUPERVISORY CONTROL OF CONCURRENT SYSTEMS BASED ON PETRI NET ABSTRACTIONS

  • Author

    Panos J. Antsaklis استاد راهنما

  • University
    University Of Norte dame
  • Grade
    دكتري
  • Major
    Doctor of Philosophy )Electrical Engineering(
  • Number of pages
    0
  • Publish Date
    2003
  • Keyword

    deadlock prevention , liveness enforcement , supervisory control , decentralized control , controlled invariants , Petri Nets , hybrid systems , Discrete Event Systems , concurrency

  • Note
    01
  • Language
    انگليسي