基于IDEF0的CIMS底层控制Petri网模型的自动生成方法

被引:16
作者
王君英
段广洪
机构
[1] 清华大学国家CIMS工程研究中心
关键词
IDEF(IntegratedcomputeraidedmanufacturingDEFinitionmethod)0,控制,CIMS,Petri网;
D O I
10.16383/j.aas.1997.03.019
中图分类号
TP27 [自动化系统];
学科分类号
0711 ; 071102 ; 081103 ; 081104 ;
摘要
IDEF0广泛用于CIMS的功能说明,Petri网适用于对离散事件动态系统建模.在CIMS中,两者结合起来,对于CIMS底层控制、生产调度、动态仿真都具有重要意义.文中研究了IDEF0的形式化描述方法,讨论了有关概念,给出了由IDEF0生成Petri网的形式化方法,并用一例说明其整体思想.
引用
收藏
页码:114 / 117
页数:4
相关论文
共 2 条
  • [1] Design of a factory floor sequence controller from a high level system specification. Thomas O Boucher,mohsen A Jafari. J ournal of Manufacturing system . 1992
  • [2] A rule-based system for generating a ladder logic control program from a high-level system model. Mohsen A Jafari,Thomas O Boucher. J ournal of Intelligent Manufacturing . 1994