Skip to Main Content
Generalised stochastic Petri nets (GSPN) are the most common state-space model types used in dependability modelling. The great complexity of GSPN models, even for simple repairable systems, makes it necessary to use a less complex model. Combining the GSPN properties and high level Petri nets facilities, a structural simplified model logical explicit stochastic Petri nets (LESPN), having the same modelling power as GSPN, is built. Primitive architectural modules are used in repairable power systems dependability modelling. The paper presents a comparative analysis of different LESPN models associated to the longitudinal coupler used in power systems.