Reduction Method Of Coloured Petri Nets

The coloured Petri nets (CPN) have been used as a powerful tool for the modeling of complex systems (for example, flexible manufacturing systems (FMS)). The CPN allows one to establish the concise and general models. The aim of this paper is to present a method of reduction of CPN, which is an extension of generalized Petri net reduction methods proposed previously. As in the precedent methods, the reduction is carried out based upon the structure of nets but not upon their dynamic behaviors. This approch conserves some important properties such as the liveness, boundedness and proper termination and can facilitate the analysis of CPN.