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 条
  • [11] Application of net reduction to feedback controller design of petri nets
    Wang, Shou-Guang
    Yan, Gang-Feng
    Jiang, Jing-Ping
    Ruan Jian Xue Bao/Journal of Software, 2003, 14 (06): : 1037 - 1042
  • [12] CONTROLLER IMPLEMENTATION BY COMMUNICATING ASYNCHRONOUS SEQUENTIAL-CIRCUITS GENERATED FROM A PETRI-NET SPECIFICATION OF REQUIRED BEHAVIOR
    BEISTER, J
    WOLLOWSKI, R
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 22 : 103 - 115
  • [13] Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
    Doligalski, Michal
    Adamski, Marian
    INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2012, 58 (01) : 43 - 48
  • [14] Improved Design of Concurrent Synchronization System Controller Based on Petri Net
    Yang, Xu
    Guo, Shaocui
    Xiang, Dongming
    Yang, Yuxin
    Chen, Yijun
    JOURNAL OF WEB ENGINEERING, 2023, 22 (07): : 961 - 981
  • [15] Protocol specification design using an object-based Petri net formalism
    Sliva, VP
    Murata, T
    Shatz, SM
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1999, 9 (01) : 97 - 125
  • [16] USE OF PETRI NET EXPANSIONS FOR PROTOCOL SPECIFICATION
    GOLOVIN, JA
    MATVEJEVA, VA
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1988, (06): : 11 - 17
  • [17] Petri net controller for network connectivity
    Latha, K
    Umamaheswari, B
    IETE JOURNAL OF RESEARCH, 2005, 51 (04) : 295 - 300
  • [18] A TRANSFORMATION FROM A BOOLEAN EQUATION CONTROL SPECIFICATION TO A PETRI-NET
    JAFARI, MA
    MEREDITH, GA
    BOUCHER, TO
    IIE TRANSACTIONS, 1995, 27 (01) : 9 - 22
  • [19] THE SYNTHESIS OF A PARALLEL CONTROLLER FROM A PETRI-NET MODEL
    PARDEY, J
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 22 : 73 - 89
  • [20] PETRI NET BASED SPECIFICATION OF A REAL-TIME SUPERVISORY CONTROLLER FOR AN AUTONOMOUS WIND DIESEL SYSTEM
    KAMWA, I
    SAULNIER, B
    REID, R
    ELECTRIC POWER SYSTEMS RESEARCH, 1991, 21 (03) : 203 - 216
12345