Automatic generation of Markovian process for the manufacturing systems

To evaluate the RAM´s parameters (reliability, availability, maintainability), for manufacturing systems, the authors use stochastic Petri nets (SPNs) and Markov processes. The main problem met in this work is linked to the well know phenomenon of the number of accessible states combinatory explosion. To solve this problem the authors propose an approach based on modular modelling. Then, a new tool based on SPNs called GS²PN was developed. For this kind of modelling, the authors propose a method which enables them to obtain the Markovian model of the system by automatic generation of marking graphs