Méthodes d'analyse des réseaux de Petri