Deadlock Prevention in Automated Manufacturing Systems Based on Resource-oriented Petri Nets
CSTR:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    In automated manufacturing systems (AMSs), deadlock is an urgent problem to be solved, which is mainly caused by circular waiting for resources. To solve this problem, this study first builds special resource marked graphs (SRMGs) based on the characteristics of resource-oriented Petri nets (ROPNs). Secondly, the relationship between a deadlock and the saturated circuit is established in SRMGs. Unsafe markings can be prevented by adding controllers to some special circuits. Next, considering the problem of resource failure, the resource buffer subnet is added to the hazardous place. This ensures that parts requiring failed resources do not block the continuous production of other parts. Compared with existing controllers, each controller in this study has a control switch that allows more safe markings to occur by changing the capacity of the control place in real time.

    Reference
    Related
    Cited by
Get Citation

卢雪芹,刘伟.面向资源Petri网的自动制造系统死锁预防.计算机系统应用,2023,32(11):95-107

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:April 20,2023
  • Revised:May 17,2023
  • Adopted:
  • Online: September 15,2023
  • Published:
Article QR Code
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-3
Address:4# South Fourth Street, Zhongguancun,Haidian, Beijing,Postal Code:100190
Phone:010-62661041 Fax: Email:csa (a) iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063