Analysis and design of reconfigurable logic controllers based on signal interpreted Petri nets

被引：0
|
作者：
Li, Jun [1 ]
Dai, Xianzhong [1 ]
Meng, Zhengda [1 ]
机构：
[1] Dept. of Automat. Control Eng., Southeast Univ., Nanjing 210096, China
来源：
Dongnan Daxue Xuebao (Ziran Kexue Ban)/Journal of Southeast University (Natural Science Edition) | 2004年 / 34卷 / SUPPL.期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
10
引用
收藏
页码：101 / 107
相关论文
共 50 条
  • [31] FORMAL REASONING IN LOGIC DESIGN OF RECONFIGURABLE CONTROLLERS
    Adamski, Marian
    Tkacz, Jacek
    11TH IFAC/IEEE INTERNATIONAL CONFERENCE ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2012), 2012,
  • [32] The Use of UML and Petri Net for Graphic Specification of the Reconfigurable Logic Controllers
    Bazydlo, Grzegorz
    Wojnakowski, Marcin
    Wisniewski, Remigiusz
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2018 (ICCMSE-2018), 2018, 2040
  • [33] Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems
    Capra, Lorenzo
    DISTRIBUTED COMPUTING AND INTELLIGENT TECHNOLOGY, ICDCIT 2022, 2022, 13145 : 140 - 156
  • [34] Design of scalable agent-based reconfigurable manufacturing systems with Petri nets
    Hsieh, Fu-Shiung
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2018, 31 (08) : 748 - 759
  • [35] Design by Petri nets of an intersection signal controller
    Gallego, JL
    Farges, JL
    Henry, JJ
    TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 1996, 4 (04) : 231 - 248
  • [36] Formal verification for analysis and design of logic controllers for reconfigurable machining systems
    Kalita, D
    Khargonekar, PP
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2002, 18 (04): : 463 - 474
  • [37] Communication Support for Petri nets based Distributed Controllers
    Silva, Edgar M.
    Campos-Rebelo, Rogerio
    Hirashima, Takahiro
    Moutinho, Filipe
    Malo, Pedro
    Costa, Aniko
    Gomes, Luis
    2014 IEEE 23RD INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2014, : 1111 - 1116
  • [38] Petri net-based specification, analysis and synthesis of logic controllers
    Wegrzyn, A
    Wegrzyn, M
    PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, 2000, : 20 - 26
  • [39] Formal verification of PLC-programs generated from signal interpreted Petri nets
    Mertke, T
    Frey, G
    2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 2700 - 2705
  • [40] 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
12345