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 条
  • [41] Petri net based models for specification and analysis of cryptographic protocols
    Lee, GS
    Lee, JS
    JOURNAL OF SYSTEMS AND SOFTWARE, 1997, 37 (02) : 141 - 159
  • [42] A Systematic Approach to the Petri Net Based Specification of Concurrent Systems
    Antonino Mazzeo
    Nicola Mazzocca
    Stefano Russo
    Valeria Vittorini
    Real-Time Systems, 1997, 13 : 219 - 236
  • [43] A systematic approach to the Petri net based specification of concurrent systems
    Mazzeo, A
    Mazzocca, N
    Russo, S
    Vittorini, V
    REAL-TIME SYSTEMS, 1997, 13 (03) : 219 - 236
  • [44] Petri net based test case generation for evolved specification
    Ding, Zuohua
    Jiang, Mingyue
    Chen, Haibo
    Jin, Zhi
    Zhou, Mengchu
    SCIENCE CHINA-INFORMATION SCIENCES, 2016, 59 (08)
  • [45] Coloured Petri net refinement specification and correctness proof with Coq
    Choppy, Christine
    Mayero, Micaela
    Petrucci, Laure
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (03) : 195 - 202
  • [46] Parikh Vector based Approach for Petri Net Controller
    Tao Ze
    Liu Xiaoxia
    INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2012, 15 (11A): : 4703 - 4708
  • [47] Synthesis of Petri Net Controller Based on Constraints Matrix
    Tao, Ze
    Hao, Changzhong
    ICNC 2008: FOURTH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 4, PROCEEDINGS, 2008, : 432 - 436
  • [48] Controller Study of DES Petri Net with Uncontrollable Transition
    Ze, Tao
    Hua, Zhang
    CCDC 2009: 21ST CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1-6, PROCEEDINGS, 2009, : 5219 - 5224
  • [49] WS-Net: A Petri-net based specification model for web services
    Zhang, J
    Chang, CK
    Chung, JY
    Kim, SW
    IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 420 - 427
  • [50] Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning
    Gomes, L
    SteigerGarcao, A
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 218 - 237
12345