Extension des méthodes de calcul de flots pour les réseaux de Petri de haut niveau.
Application à la validation d'algorithmes distribués / Jean-Michel Couvreur.
https://www.univ-orleans.fr/lifo/Membres/couvreur/, 2021-10-26
Information trouvée : Professeur à l'Université d'Orléans et membre du Laboratoire d'informatique fondamentale
d'Orléans (LIFO)