Rough set approach for the deadlock detection in Petri nets

被引：0
|
作者：
Johnson, J [1 ]
Li, H [1 ]
机构：
[1] Univ Regina, Dept Comp Sci, Regina, SK S4S 0A2, Canada
来源：
IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III | 2000年
关键词：
rough set; Petri net; deadlock detection;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The deadlock problem is a very important issue in many application systems modelling by Petri net and a rough set represents a new mathematical approach to vagueness and uncertainty, which proved to be very useful in many applications. In this paper, we apply the rough set theory to Petri net acid propose a new method, rough set approach, to detect the deadlock of the Petri net.
引用
收藏
页码：1435 / 1439
页数：5
相关论文
共 50 条
  • [1] 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
  • [2] 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
  • [3] Deadlock prevention approach for a class of timed Petri nets
    Guo, Jin-Wei
    Li, Zhi-Wu
    [J]. Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2009, 36 (05): : 902 - 908
  • [4] On the optimal set of elementary siphons in Petri nets for deadlock control in FMS
    Hu, Hesuan
    Li, Zhiwu
    Wang, Anrong
    [J]. PROCEEDINGS OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, 2006, : 244 - 247
  • [5] An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control
    Li, ZW
    Hu, HS
    Zhou, MC
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4849 - 4854
  • [6] 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
  • [7] Deadlock detection-oriented unfolding of unbounded Petri nets
    Lu, Faming
    Tao, Ranran
    Du, Yuyue
    Zeng, Qingtian
    Bao, Yunxia
    [J]. INFORMATION SCIENCES, 2019, 497 : 1 - 22
  • [8] 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
  • [9] Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets
    Lu, Faming
    Zeng, Qingtian
    Zhou, MengChu
    Bao, Yunxia
    Duan, Hua
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2019, 49 (06): : 1164 - 1174
  • [10] Deadlock analysis and control based on Petri nets: A siphon approach review
    Hou, YiFan
    Barkaoui, Kamel
    [J]. ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (05)
12345