• DocumentCode
    547314
  • Title

    A new liveness characterization for S3PGR2

  • Author

    Chao, Daniel Y. ; Chen, Jiun-Ting

  • Author_Institution
    Dept. of Manage. Inf. Syst., Nat. Chengchi Univ., Taipei, Taiwan
  • Volume
    3
  • fYear
    2011
  • fDate
    10-12 June 2011
  • Firstpage
    137
  • Lastpage
    141
  • Abstract
    It has been a hot research topic to find the sufficient and necessary condition of liveness for S3PGR2 (systems of simple sequential processes with general resources requirement) modeled by general Petri nets (GPN). This paper proposes a solution.
  • Keywords
    Petri nets; concurrency control; resource allocation; S3PGR2; general Petri nets; systems of simple sequential processes with general resources requirement); Control theory; Firing; Flexible manufacturing systems; Nickel; Petri nets; Sufficient conditions; System recovery; Petri nets; deadlocks; siphons; synchronized choice nets; weakly live;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Science and Automation Engineering (CSAE), 2011 IEEE International Conference on
  • Conference_Location
    Shanghai
  • Print_ISBN
    978-1-4244-8727-1
  • Type

    conf

  • DOI
    10.1109/CSAE.2011.5952651
  • Filename
    5952651
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=547314