State model degree reduction of a multistate complex system structured by a Coloured Petri Nets (CPN)

This paper introduces a method of modelling behaviours of multistate repairable multi-unit systems subjected to stochastic degradation processes, using the coloured Petri nets (CPN). This solution prevents from the combinatorial explosion problem that reduces use of Markov graphs for studying such systems. The method combines the abilities of modelling the state and of evaluating the operational performances of a complex system. The method also helps to simplifying the study of k-out-n structure systems, while allowing extraction of the minimal cuts. The method provided is grounded on theorems used to design an algorithm of systematic construction of models.