thesis

Réseaux de Pétri colorés et réseaux de Pétri continus : application à l'étude des systèmes à évènements discrets

Defense date:

Jan. 1, 1987

Edit

Institution:

Grenoble INPG

Disciplines:

Physics

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Presentation de mehodes et d'outils pour modelisation d'un systeme et pour sa validation. La validation formelle est effectuee par l'exploitation des invariants lineaires de marquages de places et de tris des transitions. Utilisation des reseaux de petri continus