Identifiant pérenne de la notice : 080176313
Notice de type
Personne
Affiliation institutionnelle
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)
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial