Automatic generation of Markovian process for the manufacturing systems
Zineb Simeu-Abazi, O. Daniel, B. Descotes-Genon · 2002
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/sup 2/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.