L'étude des Défaillances de Causes Communes (DCC) dans les systèmes programmés de grande taille est un domaine actif de recherche. Nous introduirons d'abord toutes les notions nécessaires sur les modèles de DCC, les paramètres à prendre en compte lorsqu'on étudie les DCC et l'ensemble des outils permettant l'évaluation dynamique dans la Surêté de Fonctionnement. Nous présenterons également les réseaux de Petri et certains aspects du logiciel utilisé pour les représenter : CPNTools. Nous continuons par la modélisation par réseaux de Petri colorés du cas test considéré : le système de contrôle-commande de protection (PS) de l'EPR de Flamanville, mais aussi par la modélisation du modèle d'Atwood pour la prise en compte des DCC. Le modèle obtenu a été utilisé pour étudier plusieurs modes de DCC orientées suivant les grandes axes de la structure du système programmé et plusieurs indicateurs probabilistes de la sûreté de fonctionnement (PFD, MTBF, ...) ont été évalués. En conclusion, les réseaux de Petri colorés permettent de représenter les systèmes programmés de grand ordre, tout en réalisant des évaluations probabilistes nécessaires en sûreté de fonctionnement.