Petri nets for the evaluation of redundant systems

This paper gives an overview of the use of Petri nets for the evaluation of redundant systems. After listing modelling criteria for this type of system, we describe the powerful characteristics of Petri nets concerning both representation and performance evaluation: descriptive ability, formal verification procedures, the ability to incorporate time and quantitative analysis. Finally, we discuss the possibilities offered by this theory, as well as certain limitations when it comes to modelling large-scale systems such as those usually encountered in industrial applications.