用CIMOSA和随机PETRI网对CIM系统进行行为建模

利用ＣＩＭＯＳＡ建模框架和建模语言，一个企业的集成模型能够被建立．用过程规则集能够对企业模型进行行为分析．为了进一步对ＣＩＭＯＳＡ企业模型的操作进行分析，本文提出了将ＣＩＭＯＳＡ企业模型转换为等价的随机Ｐｅｔｒｉ网模型的系统方法．这种方法是一种将“ｂｏｔ－ｔｏｍ－ｕｐ”和“ｔｏｐ－ｄｏｗｎ”建模方法混合使用Ｐｅｔｒｉ网综合技术．由这种方法得到的Ｐｅｔｒｉ网模型能够保持初始Ｐｅｔｒｉ网的某些定性结构性质

USING CIMOSA AND STOCHASTIC TIME PETRI NETS FOR BEHAVIOUR MODELING OF CIM SYSTEMS

The integrated model of an enterprise can be built by making use of the CIMOSA modeling framework and modeling language. The behaviour analysis of the CIMOSA enterprise model can be made by the sets of procedural rules. In order to make further performance analysis of the CIMOSA enterprise model, this paper presents a systematic approach to transform the CIMOSA enterprise model into a equivalent stochastic Petri net model. The systematic approach is a hybrid Petri nets synthesis technology which integrates the "bottom up" and "top down" modeling approaches. The resulting Petri net obtained from this approach preserve the same qualitative properties of its original Petri net.