USING CIMOSA AND STOCHASTIC TIME PETRI NETS FOR BEHAVIOR 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 behavior 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 an 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.