Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents.