Design of a control and integration net for simulation of CIMOSA-based business processes in cellular manufacturing

We present a new type of Petri net called "control and integration net" (CIN) utilized for simulation and evaluation of CIMOSA (computer integrated manufacturing open system architecture) models. We discuss the definition of a set of rules for mapping CIMOSA models to CIN structure, a formal language to describe the CIN structures, and the graphical representation extended from the conventional Petri nets. We also present an engineering environment for cellular manufacturing, in which simulation results will guide the modeller to optimize CIMOSA models with help of the CIN interpreter and simulator according to user requirements.