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.