thesis

Une categorie reguliere de reseau de petri de haut niveau : definition, proprietes et reductions, application a la validation de systemes distribues

Defense date:

Jan. 1, 1987

Edit

Institution:

Paris 6

Disciplines:

Applied sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Developpement d'une theorie des reseaux reguliers (qui permettent l'analyse directe des reseaux colores), fondee sur trois outils complementaires: la construction d'un graphe de marquages symboliques, le calcul des invariants lineaires et la definition de l'ensemble des reductions