Des bisimulations de places pour la réduction des réseaux de Petri. (Place bisimulations for the reduction of Petri nets). - Wilfried Quivrin-Pfister (1995)