摘要
ＣＩＭＳ多方位（视图）模型的一致性问题是ＣＩＭＳ建模方法学中的研究重点。本文提出了一种从基于ＩＤＥＦ０的功能模型到基于Ｐｅｔｒｉ－Ｎｅｔ的动态模型的映射机制，为研究模型一致性问题提供了一种行之有效的途径。
The consistency of the CIMS multi-view model is a complicated problem which plays an important role in the CIMS modelling methodology. This paper proposes a mapping mechanism from IDEF0 based function model to Petri-Net based dynamic model,which could be an approach to solve the consistency problem between these two models.
出处
《高技术通讯》
CAS
CSCD
1996年第7期1-4,共4页
Chinese High Technology Letters
基金
863计划资助
关键词
功能模型
动态模型
计算机集成制造
Function model
Dynamic model
IDEF0 methodology
Petri-Net
