Sûreté de fonctionnement des systèmes de commande. Exemple d'application et rappels sur les RdP
Résumé
Dans cet article qui fait suite à l'article [S 8 262] nous donnons un exemple d'application décliné sur les différentes méthodes d'analyse de la sûreté de fonctionnement. Nous présentons ensuite un certain nombre de rappels concernant les réseaus de Petri (RdP). Introduits au début des années 1960 par Carl Adam Petri, les réseaux de Petri (RdP) sont des modèles de description des systèmes à événements discrets.