Design of a petri net controller from an IDEFO specification

被引：0
|
作者：
Boucher, Thomas O.
Jafari, Mohsen A.
机构：
来源：
Factory Automation and Information Management - Proceedings | 1991年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] PROTOCOL DESIGN AND PERFORMANCE ANALYSIS FOR MANUFACTURING MESSAGE SPECIFICATION - A PETRI-NET APPROACH
    WANG, FY
    GILDEA, K
    JUNGNITZ, H
    CHEN, DD
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 1994, 41 (06) : 641 - 653
  • [22] Controller design and verification for a pipeline image processor based on an extended Petri net
    Wasaki, Katsumi
    Harai, Toshiaki
    Hayashi, Tamotsu
    Arai, Kenichi
    DSD 2007: 10TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, 2007, : 257 - 260
  • [23] 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
  • [24] Controller Design and Implementation: an Approach Based on Problem Frames and Petri Net Models
    Brito, Isabel Sofia
    Barros, Joao Paulo
    Gomes, Luis
    PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2015, : 860 - 867
  • [25] Design of a live and maximally permissive Petri net controller using the theory of regions
    Ghaffari, A
    Rezg, N
    Xie, XL
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2003, 19 (01): : 137 - 142
  • [26] Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131 part I:: Specification and design
    Feldmann, K
    Colombo, AW
    Schnur, C
    Stöckel, T
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1999, 7 (06) : 657 - 665
  • [27] Generating a Petri net from a CSP specification: A semantics-based method
    Llorens, M.
    Oliver, J.
    Silva, J.
    Tamarit, S.
    ADVANCES IN ENGINEERING SOFTWARE, 2012, 50 : 110 - 130
  • [28] Implementing a Petri net specification in a FPGA using VHDL
    Soto, E
    Pereira, M
    DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 19 - 24
  • [29] PETRI NET BASED MODELS FOR THE SPECIFICATION AND VALIDATION OF PROTOCOLS
    DIAZ, M
    AZEMA, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 101 - 121
  • [30] PETRI NET TOOLS FOR THE SPECIFICATION AND ANALYSIS OF DISCRETE CONTROLLERS
    WILLSON, RG
    KROGH, BH
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (01) : 39 - 50
12345