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 条
  • [21] PARALLEL AND SEQUENTIAL MUTUAL EXCLUSIONS FOR PETRI NET MODELING OF MANUFACTURING SYSTEMS WITH SHARED RESOURCES
    ZHOU, MC
    DICESARE, F
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1991, 7 (04): : 515 - 527
  • [22] AN OPTIMIZATION METHOD FOR CONTINUOUS PETRI NET MODELS: APPLICATION TO MANUFACTURING SYSTEMS
    Rodriguez, Diego
    INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 129 - 134
  • [23] Petri net synchronous synthesis method for modelling flexible manufacturing systems
    Wang, H.B.
    Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice, 2001, 21 (02):
  • [24] A two phase optimization method for Petri net models of manufacturing systems
    A. Zimmermann
    D. Rodriguez
    M. Silva
    Journal of Intelligent Manufacturing, 2001, 12 : 409 - 420
  • [25] A two phase optimization method for Petri net models of manufacturing systems
    Zimmermann, A
    Rodriguez, D
    Silva, M
    JOURNAL OF INTELLIGENT MANUFACTURING, 2001, 12 (5-6) : 409 - 420
  • [26] Automatic Reconfiguration of Petri Net Controllers for Reconfigurable Manufacturing Systems With an Improved Net Rewriting System-Based Approach
    Li, Jun
    Dai, Xianzhong
    Meng, Zhengda
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2009, 6 (01) : 156 - 167
  • [27] On Petri net Modeling of automated manufacturing systems
    Wu, Naiqi
    Zhou, MengChu
    Hu, Gang
    2007 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL, VOLS 1 AND 2, 2007, : 228 - +
  • [28] A petri net extension for formal modelling of information systems
    Kresoja, Sasa
    Rackovic, Milos
    Skrbic, Srdjan
    Surla, Bojana Dimic
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2016, 31 (03): : 223 - 237
  • [29] Petri net models and functional abstractions; applications to the design of automated manufacturing systems
    Zurawski, R
    ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 71 - 83
  • [30] An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems
    Hu, Hesuan
    Zhou, MengChu
    Li, Zhiwu
    Tang, Ying
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2013, 10 (03) : 772 - 782
12345