La négation est utile dans la majorité des applications du monde réel. Cependant son introduction entraîne des problèmes sémantiques et canoniques. Dans cet article, nous proposons une approche basée sur la stratification pour traiter les problèmes de négation. Cette approche se base sur une extension des réseaux de prédicats. Elle se caractérise par deux contributions principales. La première concerne la gestion de toute la classe des programmes stratifiés. La deuxième contribution est liée aux opérations habituelles d'optimisations des programmes stratifiés (stratification maximale, mises à jour par accroissement, etc.). Negation is useful in the majority of the real world applications. However, its introduction leads to semantic and canonical problems. We propose in this paper an approach based on stratification to deal with negation problems. This approach is based on an extension of predicates nets. It is characterized with two main contributions. The first concerns the management of the whole class of stratified programs. The second contribution is related to usual operations of optimizations on stratified programs (maximal stratification, incremental updates, etc.).