Réseaux de Petri et systèmes parallèles — Annie Choquet-Geniet, Guy Vidal-Naquet