Deadlock control of concurrent manufacturing processes sharing finite resources

被引：0
|
作者：
Li, Zhiwu [1 ]
Uzam, Murat [2 ]
Zhou, Mengchu [3 ]
机构：
[1] School of Electro-Mechanical Engineering, Xidian University, No.2 South Taibai Road, Xi'an 710071, China
[2] Nigde Üniversitesi, Mühendislik-Mimarlik Fakültesi, Mühendisligi Bölümü, Kampüs, 51200 Nigde, Turkey
[3] Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ 07102, United States
来源：
International Journal of Advanced Manufacturing Technology | 2008年 / 38卷 / 7-8期
关键词：
32;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
收藏
页码：787 / 800
相关论文
共 50 条
  • [21] ON AXIOMATISING FINITE CONCURRENT PROCESSES
    ACETO, L
    SIAM JOURNAL ON COMPUTING, 1994, 23 (04) : 852 - 863
  • [22] AXIOMATIZING FINITE CONCURRENT PROCESSES
    HENNESSY, M
    SIAM JOURNAL ON COMPUTING, 1988, 17 (05) : 997 - 1017
  • [23] The application of supervisory control to deadlock avoidance in concurrent software
    Wang, Yin
    Kelly, Terence
    Kudlur, Manjunath
    Mahlke, Scott
    Lafortune, Stephane
    WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 287 - +
  • [24] Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets
    Du, Nan
    Hu, Hesuan
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2021, 18 (04) : 1790 - 1802
  • [25] Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs
    Liu, Gaiyun
    Li, Pei
    Li, Zhiwu
    Wu, Naiqi
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2019, 49 (07): : 1371 - 1385
  • [26] Deadlock avoidance in flexible manufacturing systems using finite automata
    Yalcin, A
    Boucher, TO
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2000, 16 (04): : 424 - 429
  • [27] Supervisory control for deadlock avoidance in compound processes
    Roszkowska, E
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (01): : 52 - 64
  • [28] Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources
    Feng, Yanxiang
    Xing, Keyi
    Liu, Huixia
    Wu, Yunchao
    INFORMATION SCIENCES, 2019, 484 : 286 - 301
  • [29] Strong Controllable Siphon Basis-Based Robust Deadlock Control for Manufacturing Systems With Multiple Unreliable Resources
    Liu, Huixia
    Wu, Weimin
    Yang, Hongyong
    IEEE ACCESS, 2020, 8 : 269 - 277
  • [30] Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS3PR)
    Chao, Daniel Yuh
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2009, 25 (06) : 1963 - 1977
12345