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 条
  • [41] CELLULAR MANUFACTURING SYSTEMS MODELING - THE PETRI NET APPROACH
    TENG, SH
    BLACK, JT
    JOURNAL OF MANUFACTURING SYSTEMS, 1990, 9 (01) : 45 - 54
  • [42] Petri net modeling of buffers in automated manufacturing systems
    Zhou, MC
    DiCesare, F
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1996, 26 (01): : 157 - 164
  • [43] Petri net modeling of buffers in automated manufacturing systems
    New Jersey Inst of Technology, Newark, United States
    IEEE Trans Syst Man Cybern Part B Cybern, 1 (157-164):
  • [44] Petri net models, functionality and functional abstractions, and applications to the design of automated manufacturing systems
    Zurawski, R
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 339 - 346
  • [45] Scheduling manufacturing systems with blocking: a Petri net approach
    Mejia, Gonzalo
    Montoya, Carlos
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2009, 47 (22) : 6261 - 6277
  • [46] Robust design of flexible manufacturing systems using, colored Petri net and genetic algorithm
    Saitou, K
    Malpathak, S
    Qvam, H
    JOURNAL OF INTELLIGENT MANUFACTURING, 2002, 13 (05) : 339 - 351
  • [47] Dynamic reconfiguration of Petri net logic controllers based on modified net rewriting systems
    Li, Jun
    Dai, Xianzhong
    Meng, Zhengda
    2005 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATIONS, VOLS 1-4, CONFERENCE PROCEEDINGS, 2005, : 562 - 567
  • [48] Formal Properties and Analysis Method of BPEL Base on Petri net
    Huang, Yu
    Huang, Shuzhi
    Ma, Meng
    He, Yu
    Cui, Weilong
    2012 7TH INTERNATIONAL CONFERENCE ON COMPUTING AND CONVERGENCE TECHNOLOGY (ICCCT2012), 2012, : 60 - 65
  • [49] Hierarchical Petri net modelling of reconfigurable manufacturing systems with improved net rewriting systems
    Dai, X.
    Li, J.
    Meng, Z.
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2009, 22 (02) : 158 - 177
  • [50] Modeling by Petri net with place invariants for sequential control systems
    Cai, Yigang
    Nishii, Ikuya
    Sekiguchi, Takashi
    Electrical Engineering in Japan (English translation of Denki Gakkai Ronbunshi), 1995, 115 (05): : 100 - 111
12345