【摘要】 ＣＩＭＳ多方位（视图）模型的一致性问题是ＣＩＭＳ建模方法学中的研究重点。本文提出了一种从基于ＩＤＥＦ０的功能模型到基于Ｐｅｔｒｉ－Ｎｅｔ的动态模型的映射机制，为研究模型一致性问题提供了一种行之有效的途径。更多还原

【Abstract】 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.更多还原