Analytical method to evaluate the dependability of manufacturing systems

The association between Stochastic Petri nets and Markovʹs chains constitutes a powerful tool for analysis. However, the Markovianʹs models obtained for complex manufacturing systems are so large that their storage and analysis is very expensive and very time consuming. The method based on decomposition and iterative analysis is very efficient for the number of states combinatory explosion. In this paper, we present a method for modular modelisation, an algorithm for iterative analysis and some numerical results.