Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

José-Manuel Colom

Mots clés

FR |

EN

Modèle de systèmes à événements discrets

Réseaux de Petri pondérés

Vérification de propriétés comportementales

Conditions suffisantes polynomiales

Caractérisations

Graphes bipartis

Systèmes échantillonnés

Réseaux de Petri