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 条
  • [31] Towards a Usage Control Policy Specification with Petri Net
    Katt, Basel
    Zhang, Xinwen
    Hafner, Michael
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009, PT 2, 2009, 5871 : 905 - +
  • [32] PETRI NET BASED MODELS - IN THE SPECIFICATION AND VERIFICATION OF PROTOCOLS
    DIAZ, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 255 : 135 - 170
  • [33] Petri net controller with hardware to avoid deadlocks
    Dohi, Y
    Nomura, E
    Shimoda, T
    Murakoshi, H
    PROCEEDINGS OF THE 1996 IEEE IECON - 22ND INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL, AND INSTRUMENTATION, VOLS 1-3, 1996, : 457 - 462
  • [34] Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks
    Basile, F
    Chiacchio, P
    Vittorini, V
    Mazzocca, N
    JOURNAL OF INTELLIGENT MANUFACTURING, 2004, 15 (03) : 351 - 371
  • [35] Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks
    Francesco Basile
    Pasquale Chiacchio
    Valeria Vittorini
    Nicola Mazzocca
    Journal of Intelligent Manufacturing, 2004, 15 : 351 - 371
  • [36] Hardware implementation of fuzzy Petri net as a controller
    Gniewek, L
    Kluska, J
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2004, 34 (03): : 1315 - 1324
  • [37] A COMPARISON OF TEMPORAL PETRI NET TECHNIQUES IN THE SPECIFICATION AND DESIGN OF HARD REAL-TIME SYSTEMS
    SAGOO, JS
    HOLDING, DJ
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 111 - 118
  • [38] Design of Robust Optimization Petri Net Controller for Automated Manufacturing Systems With Unreliable Resources
    Zhang, Ziliang
    Liu, Gaiyun
    Sun, Yu
    2022 IEEE 18TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2022, : 1640 - 1645
  • [39] Petri net based test case generation for evolved specification
    Zuohua Ding
    Mingyue Jiang
    Haibo Chen
    Zhi Jin
    Mengchu Zhou
    Science China Information Sciences, 2016, 59
  • [40] Petri net based test case generation for evolved specification
    Zuohua DING
    Mingyue JIANG
    Haibo CHEN
    Zhi JIN
    Mengchu ZHOU
    Science China(Information Sciences), 2016, 59 (08) : 67 - 91
12345