Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure

被引：0
|
作者：
Wei Liu
Lu Wang
Yuyue Du
Maozhen Li
机构：
[1] Shandong University of Science and Technology,College of Information Science and Engineering
[2] Brunel University London,Department of Electronic and Computer Engineering
[3] Jiangsu University,School of Computer Science and Communication Engineering
来源：
International Journal of Parallel Programming | 2017年 / 45卷
关键词：
Parallel programs; Deadlock; Process nets; Message places;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Deadlocks of concurrent programs are abnormal and need to be avoided. The deadlock property is analyzed in the paper. To reduce the analysis complexity, the decomposition method is presented. The Petri net model of concurrent programs is decomposed into multiple process nets based on the number of processes and message places in a concurrent program. The relation between process nets and the Petri net model of a concurrent program is studied. By analysis of deadlocks of process nets, deadlocks of concurrent programs are concluded. For an important subclass, deadlock property of concurrent programs is determined based on the deadlock property and the static structure of process nets. The decision condition of deadlocks is proposed. The concepts and techniques given in this paper are shown with some examples.
引用
收藏
页码：879 / 898
页数：19
相关论文
共 50 条
  • [21] One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy
    Karoui, Oussama
    Li, Zhiwu
    Wu, Naiqi
    Khalgui, Mohamed
    Nasr, Emad Abouel
    El-Tamimi, Abdulaziz Mohammed
    IEEE ACCESS, 2018, 6 : 34307 - 34323
  • [22] Petri Net Based Resource Modeling and Analysis of Workflows with Task Failures
    Wang, Jiacun
    2013 10TH IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2013, : 655 - 659
  • [23] On Further Reduction of Constraints in "Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems"
    Huang, Bo
    Zhu, Hang
    Zhang, Gongxuan
    Lu, Xianling
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (03): : 542 - 543
  • [24] Comparison of deadlock prevention policies in FMS based on Petri nets siphons
    Huang, YS
    Lin, JH
    Hsu, CN
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4867 - 4872
  • [25] On Deadlock Analysis and Characterization of Labeled Petri Nets with Undistinguishable and Unobservable Transitions
    Zaghdoud, Amal
    Li, Zhiwu
    MATHEMATICS, 2024, 12 (22)
  • [26] Lean Reachability Tree for Petri Net Analysis
    Li, Jun
    Yu, Xiaolong
    Zhou, MengChu
    2016 IEEE 13TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL (ICNSC), 2016,
  • [27] An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions
    Uzam, M
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2002, 19 (03) : 192 - 208
  • [28] On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA
    Uzam, Murat
    Liu, Ding
    Berthomieu, Bernard
    Gelen, Gokhan
    Zhang, Zhaolong
    Mostafa, Almetwally M.
    Li, Zhiwu
    IEEE ACCESS, 2024, 12 : 135506 - 135534
  • [29] A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets
    Wang, ShouGuang
    Guo, Xin
    Karoui, Oussama
    Zhou, MengChu
    You, Dan
    Abusorrah, Abdullah
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2023, 53 (01): : 191 - 203
  • [30] A new method for the redundancy analysis of Petri net-based liveness enforcing supervisors
    Gelen, Gokhan
    Uzam, Murat
    Li, ZhiWu
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2017, 39 (05) : 763 - 780
12345