7th International Conference on Performance Evaluation Methodologies and Tools

Research Article

Reliability Modelling and Evaluation of Dynamic Systems With Stochastic Petri Nets (Tutorial)

  • @INPROCEEDINGS{10.4108/icst.valuetools.2013.254370,
        author={Armin Zimmermann},
        title={Reliability Modelling and Evaluation of Dynamic Systems With Stochastic Petri Nets (Tutorial)},
        proceedings={7th International Conference on Performance Evaluation Methodologies and Tools},
        publisher={ICST},
        proceedings_a={VALUETOOLS},
        year={2014},
        month={1},
        keywords={reliability simulation stochastic petri nets},
        doi={10.4108/icst.valuetools.2013.254370}
    }
    
  • Armin Zimmermann
    Year: 2014
    Reliability Modelling and Evaluation of Dynamic Systems With Stochastic Petri Nets (Tutorial)
    VALUETOOLS
    ACM
    DOI: 10.4108/icst.valuetools.2013.254370
Armin Zimmermann1,*
  • 1: Ilmenau University of Technology
*Contact email: armin.zimmermann@tu-ilmenau.de

Abstract

This tutorial covers motivation, use, and advantages of stochastic Petri nets as a tool for reliability evaluation of complex systems. Rare-event simulation techniques are demonstrated, which are applicable to a wide class of reliability problems. While this approach is known in the academic world, is has not yet been adopted much in industrial applications despite its apparent benefits. Additional triggers for this tutorial are advances in rare-event simulation for this model class as well as the recent standard IEC62551 for dependability evaluation with Petri nets. Example case studies and tool support is demonstrated.