Formal design method of Petri net controllers for sequential manufacturing systems

被引：0
|
作者：
Xidian Univ, Xi'an, China [1 ]
机构：
来源：
Zidonghua Xuebao | / 2卷 / 213-219期
关键词：
Petri net controllers;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The design method of specifications of the control description for sequential manufacturing systems is presented. The Petri net semantics of the specifications is discussed. The design algorithm has been developed for the initial markings such as the Petri net controller has the properties of liverness, boundedness or safeness, and reversibility. Using the Petri net controller with the desired properties, the real-time control for a practical manufacturing system can be brought into practice.
引用
收藏
相关论文
共 50 条
  • [31] HETEROGENEOUS PETRI-NET METHODOLOGY FOR THE DESIGN OF COMPLEX CONTROLLERS
    HENDRY, DC
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1994, 141 (05): : 293 - 297
  • [32] Optimal Design of Fault-Tolerant Petri Net Controllers
    Qu, Yizhi
    Li, Lingxi
    Chen, Yaobin
    Dai, Yaping
    2010 AMERICAN CONTROL CONFERENCE, 2010, : 2607 - 2612
  • [33] A colored Petri net-based approach to the design of controllers
    Makungu, M
    StDenis, R
    Barbeau, M
    PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 4425 - 4432
  • [34] Compute Optimization of Petri Net Controllers Using the Algebraic Method
    Rezig, Sadok
    Turki, Sadok
    Rezg, Nidhal
    APPLIED SCIENCES-BASEL, 2019, 9 (13):
  • [35] Design and fault diagnosis of Petri net controllers for Petri nets with uncontrollable and unobservable transitions
    Yang, Xin
    Chen, Li-juan
    JOURNAL OF MANUFACTURING SYSTEMS, 2009, 28 (01) : 17 - 22
  • [36] Transition Cover-Based Robust Petri Net Controllers for Automated Manufacturing Systems With a Type of Unreliable Resources
    Feng, Yanxiang
    Xing, Keyi
    Gao, Zhenxin
    Wu, Yunchao
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2017, 47 (11): : 3019 - 3029
  • [37] Design of Robust Optimization Petri Net Controller for Automated Manufacturing Systems With Unreliable Resources
    Zhang, Ziliang
    Liu, Gaiyun
    Sun, Yu
    2022 IEEE 18TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2022, : 1640 - 1645
  • [38] Robust design of flexible manufacturing systems using, colored Petri net and genetic algorithm
    Kazuhiro Saitou
    Samir Malpathak
    Helge Qvam
    Journal of Intelligent Manufacturing, 2002, 13 : 339 - 351
  • [39] FLEXIBILITY IN MANUFACTURING SYSTEMS - DEFINITIONS AND PETRI NET MODELING
    BARAD, M
    SIPPER, D
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1988, 26 (02) : 237 - 248
  • [40] A PETRI NET-BASED SIMULATION TOOL FOR THE DESIGN AND ANALYSIS OF FLEXIBLE MANUFACTURING SYSTEMS
    YIM, DS
    BARTA, TA
    JOURNAL OF MANUFACTURING SYSTEMS, 1994, 13 (04) : 251 - 261
12345