Contribution aux methodes d'analyse des reseaux de petri par la theorie des graphes

On introduit la notion de composante preconservative minimale (theoreme). On fournit une nouvelle caracterisation de la minimalite des verrous et des trappes. On etablit un lemme permettant d'etendre le domaine de validite de la propriete communer (condition suffisante de vivacite)