New controllability condition for siphons in a class of generalised Petri nets

被引：29
作者：
Liu, G. [1 ]
Li, Z. [1 ,2 ]
Zhong, C. [1 ]
机构：
[1] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
[2] Univ Halle Wittenberg, Inst Comp Sci, Automat Technol Lab, D-06120 Halle, Germany
来源：
IET CONTROL THEORY AND APPLICATIONS | 2010年 / 4卷 / 05期
基金：
新加坡国家研究基金会;
关键词：
DEADLOCK PREVENTION POLICY; FLEXIBLE MANUFACTURING SYSTEMS; LIVENESS ENFORCING SUPERVISORS; RESOURCE-ALLOCATION SYSTEMS; AVOIDANCE; RESOLUTION; MODELS;
D O I：
10.1049/iet-cta.2009.0264
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Over the last two decades, a number of deadlock control policies based on Petri nets were proposed for flexible manufacturing systems (FMSs). As a structural object of a Petri net, siphons are widely used in deadlock control. For system of sequential systems with shared resources ((SR)-R-4), the current deadlock control policies based on max or max'-controlled siphons tend to overly restrict the behaviour of a controlled system. The controllability conditions of a siphon are relaxed by a new concept called max ''-controlled ones. We conclude that an (SR)-R-4 is live if all its siphons are max ''-controlled. Compared with the existing ones, the proposed one is more general. Examples are given to illustrate it.
引用
收藏
页码：854 / 864
页数：11
相关论文
共 49 条
  • [1] Deadlock prevention and avoidance in FMS: A Petri net based approach
    Abdallah, IB
    ElMaraghy, HA
    [J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1998, 14 (10) : 704 - 715
  • [2] Badouel E., 1998, Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, P529
  • [3] DEADLOCK-AVOIDANCE IN FLEXIBLE MANUFACTURING SYSTEMS WITH CONCURRENTLY COMPETING PROCESS FLOWS
    BANASZAK, ZA
    KROGH, BH
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1990, 6 (06): : 724 - 734
  • [4] Barkaoui Kamel, 1996, LECT NOTES COMPUTER, V1091, P57
  • [5] Max'-controlled siphons for liveness of S3PGR2
    Chao, D. Y.
    [J]. IET CONTROL THEORY AND APPLICATIONS, 2007, 1 (04) : 933 - 936
  • [6] 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
  • [7] On the stability properties of linear dynamic time-varying unforced systems involving switches between parameterizations from topologic considerations via graph theory
    De la Sen, M.
    Ibeas, A.
    [J]. DISCRETE APPLIED MATHEMATICS, 2007, 155 (01) : 7 - 25
  • [8] Ezpeleta J, 1998, LECT NOTES COMPUT SC, V1420, P64
  • [9] A PETRI-NET BASED DEADLOCK PREVENTION POLICY FOR FLEXIBLE MANUFACTURING SYSTEMS
    EZPELETA, J
    COLOM, JM
    MARTINEZ, J
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1995, 11 (02): : 173 - 184
  • [10] Event-based feedback control for deadlock avoidance in flexible production systems
    Fanti, MP
    Maione, B
    Mascolo, S
    Turchiano, B
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (03): : 347 - 363
12345