For the most recent entries see the Petri Nets Newsletter.

Dependability modeling and sensitivity analysis of scheduled maintenance system.

Bondavalli, A.; Mura, I.; Trivedi, K.S.

In: Lecture Notes in Computer Science, Vol. 1667: Dependable Computing, EDCC-3, pages 7-23. Springer-Verlag, 1999.

Abstract: This paper presents a new modeling approach for dependability evaluation and sensitivity analysis of scheduled maintenance systems (SMSs), based on a deterministic and stochastic Petri net (DSPN) approach. The DSPN approach offers significant advantages in terms of easiness and clearness of modeling with respect to existing Markov chain based tools, drastically limiting the amount of user assistance needed to define the model. At the same time, these improved model capabilities do not result in additional computation costs. Indeed, the evaluation of the DSPN model of SMS is supported by an efficient and fully automatable analytical solution technique for the time-dependent marking occupation probabilities. Moreover, the existence of such explicit analytical solution allows to obtain the sensitivity functions of the dependability measures with respect to the variation of the parameter values. These sensitivity functions can be conveniently employed to analytically evaluate the effects that parameter variations have on the measures of interest.

Keywords: dependability evaluation, deterministic Petri nets, scheduled maintenance systems, sensitivity analysis, stochastic Petri nets.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography