1. Context

In the [SE 4 072] dossier, a part of the veil was lifted on the immense modeling possibilities of Petri nets. The treatment of a set of typical examples corresponding to the problems the reliability engineer is confronted with on a daily basis allows us to continue this adventure.

A small system operating under 2/3 majority voting is used to introduce elements of classical reliability and availability calculations. Production availability problems are then used to demonstrate the benefits of modular modeling for mastering large industrial...