Deadlock Detection and Avoidance Algorithm in Petri Nets Using the Resource Sharing Matrix

被引：0
|
作者：
Lee, Jong Kun [1 ]
Kim, Sang Hwan [2 ]
机构：
[1] Changwon Natl Univ, LIS Comp Engn Dept, Chang Won, Kyungnam, South Korea
[2] Daehan Calson Co, Chunan, Chungbuk, South Korea
来源：
STUDIES IN INFORMATICS AND CONTROL | 2008年 / 17卷 / 03期
关键词：
avoidance; benchmark; DAPN; deadlock; Petri-nets; resource sharing; siphon; transitive matrix;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper considers deadlock detection problem for FMS (Flexible Management System) based on the relationship of the resource share places in Petri Nets model. Since a deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop, it is very important to detect and prevent a deadlock. In this paper, after analyzing the relation of resource-share places in Petri Nets, we study the deadlock condition in FMS. This paper intends to review and compare these deadlock detection and avoidance methods based on the complexity, the effect value and the algorithm understanding.
引用
收藏
页码：259 / 272
页数：14
相关论文
共 50 条
  • [1] Deadlock Detection and Avoidance using Signal Interpreted Petri Nets
    Aspar, Z.
    Khalil-Hani, Mohamed
    Shaikh-Husin, Nasir
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON CIRCUITS AND SYSTEMS (ICCAS), 2012, : 150 - 155
  • [2] Resource-oriented Petri nets in deadlock avoidance of AGV systems
    Wu, NQ
    Zhou, MC
    [J]. 2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 64 - 69
  • [3] Deadlock analysis of Petri nets using the transitive matrix
    Song, YJ
    Lee, JK
    [J]. SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5, 2002, : 689 - 694
  • [4] Deadlock avoidance in Petri nets with uncontrollable transitions
    Moody, JO
    Antsaklis, PJ
    [J]. PROCEEDINGS OF THE 1998 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1998, : 1257 - 1258
  • [5] Deadlock Avoidance Controller Design for Timed Petri Nets Using Stretching
    Aybar, Aydin
    Iftar, Altug
    [J]. IEEE SYSTEMS JOURNAL, 2008, 2 (02): : 178 - 188
  • [6] The Detection and Prevention of Deadlock in Petri Nets
    Hu, Wensong
    Zhu, Yuyuan
    Lei, Jie
    [J]. 2011 INTERNATIONAL CONFERENCE ON PHYSICS SCIENCE AND TECHNOLOGY (ICPST), 2011, 22 : 656 - 659
  • [7] Deadlock detection in Petri nets: one trace for one deadlock?
    Karatkevich, Andrei
    Grobelna, Iwona
    [J]. 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 227 - 231
  • [8] Deadlock detection and avoidance of task scheduling with multi-resource sharing
    [J]. Liu, M. (liumeng@sdu.edu.cn), 2012, ICIC Express Letters Office, Tokai University, Kumamoto Campus, 9-1-1, Toroku, Kumamoto, 862-8652, Japan (03):
  • [9] Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets
    Daszczuk, Wiktor B.
    Zuberek, Wlodek M.
    [J]. ADVANCES IN DEPENDABILITY ENGINEERING OF COMPLEX SYSTEMS, 2018, 582 : 118 - 130
  • [10] Iterative Deadlock Control by Using Petri Nets
    Wang, AnRong
    Li, ZhiWu
    Zhou, MengChu
    Al-Ahmari, Abdulrahman M.
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2012, 42 (06): : 1204 - 1218
12345