Méthodologie de validation des systèmes structures en couches par réseaux de Petri — Bernard Cousin