Formal design method of Petri net controllers for sequential manufacturing systems

被引：0
|
作者：
机构：
来源：
Zidonghua Xuebao/Acta Automatica Sinica | 1997年 / 23卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
(Edited Abstract)
引用
收藏
页码：213 / 219
相关论文
共 50 条
  • [1] Formal design method of Petri net controllers for sequential manufacturing systems
    Xidian Univ, Xi'an, China
    Zidonghua Xuebao, 2 (213-219):
  • [2] Formal design methodology of Petri net controllers for automated manufacturing systems
    Li, Zhiwu
    Jia, Jianyuan
    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 1995, 22 (05):
  • [3] ADAPTIVE DESIGN OF PETRI NET CONTROLLERS FOR ERROR RECOVERY IN AUTOMATED MANUFACTURING SYSTEMS
    ZHOU, MC
    DICESARE, F
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1989, 19 (05): : 963 - 973
  • [4] Adaptive design of Petri net controllers for error recovery in automated manufacturing systems
    Zhou, Meng Chu, 1600, (19):
  • [5] Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems
    Liu, Huixia
    Xing, Keyi
    Zhou, MengChu
    Han, Libin
    Wang, Feng
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (02): : 196 - 208
  • [6] Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems
    Zeng, Guoqiang
    Wu, Weimin
    Zhou, MengChu
    Mao, Weijie
    Su, Hongye
    Chu, Jian
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 193 - +
  • [7] Siphon Basis-Based Design of Petri Net Controllers for a Class of Flexible Manufacturing Systems
    Liu, Huixia
    Gao, Zhenxin
    2013 IEEE INTERNATIONAL CONFERENCE OF IEEE REGION 10 (TENCON), 2013,
  • [8] Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources
    Liu, Huixia
    Wu, Weimin
    Su, Hongye
    Zhang, Zhenxing
    INFORMATION SCIENCES, 2016, 363 : 221 - 234
  • [9] A colored Petri net-based formal method for the design of central systems
    Makungu, M
    StDenis, R
    Barbeau, M
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 28 - 35
  • [10] Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams
    Uzam, M
    Jones, AH
    Ajlouni, N
    ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 649 - 655
12345