Deadlock analysis of Petri nets using the transitive matrix

被引：0
|
作者：
Song, YJ [1 ]
Lee, JK [1 ]
机构：
[1] Changwon Natl Univ, LIS Comp Engn Dept, Kyungnam 641773, South Korea
来源：
SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5 | 2002年
关键词：
conflict; deadlock; Petri-nets; transitive matrix;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we focus on the analysis of the deadlock problem in Petri nets using the transitive matrix. The transitive matrix may explain all relations between the place and transitions in Petri nets. Since the deadlock problem occurred by the relationship between more than two transitions based on the conflict places, we propose a find deadlock status algorithm after define the deadlock-free condition in the transitive matrix. Also, we show an example.
引用
收藏
页码：689 / 694
页数：6
相关论文
共 50 条
  • [1] Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures
    Unruh, Elina
    Delfmann, Patrick
    Thimm, Matthias
    [J]. 2021 IEEE 23RD CONFERENCE ON BUSINESS INFORMATICS, CBI 2021, VOL 1, 2021, : 42 - 51
  • [2] Deadlock analysis of Petri nets using siphons and mathematical programming
    Chu, F
    Xie, XL
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (06): : 793 - 804
  • [3] Deadlock Detection and Avoidance Algorithm in Petri Nets Using the Resource Sharing Matrix
    Lee, Jong Kun
    Kim, Sang Hwan
    [J]. STUDIES IN INFORMATICS AND CONTROL, 2008, 17 (03): : 259 - 272
  • [4] 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
  • [5] Deadlock prevention using Petri nets and their unfoldings
    Univ of Aizu, Aizu-Wakamatsu, Japan
    [J]. Int J Adv Manuf Technol, 10 (750-759):
  • [6] Deadlock prevention using Petri nets and their unfoldings
    Taubin, A
    Kondratyev, A
    Kishinevsky, M
    [J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1998, 14 (10): : 750 - 759
  • [7] Deadlock prevention using Petri nets and their unfoldings
    A. Taubin
    A. Kondratyev
    M. Kishinevsky
    [J]. The International Journal of Advanced Manufacturing Technology, 1998, 14 : 750 - 759
  • [8] Deadlock Analysis in Minimal Adaptive Routing Algorithms using Petri Nets
    Rovetto, Carlos A.
    Cano, Elia E.
    Colom, Jose-Manuel
    [J]. IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2010), 2010,
  • [9] Analysis of Petri net models using transitive matrix
    Song, YJ
    Lee, JK
    [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3122 - 3127
  • [10] A deadlock prevention policy for FMS using Petri nets
    Li, ZW
    Wei, N
    Zhu, RM
    [J]. 2005 INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), VOLS 1 AND 2, 2005, : 1187 - 1192
12345