Méthodes d'analyse hiérarchique des réseaux de Petri
L'objet de cette thèse est de définir des méthodes d'analyse hiérarchique des réseaux de Petri (un formalisme de modélisation du contrôle des systèmes distribués). Premièrement, nous étudions la transformation de réseaux par remplacement de sous-réseaux ouverts: une notion d'équivalen...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Ecole Nationale des Ponts et Chaussées
1991
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00519683 http://tel.archives-ouvertes.fr/docs/00/51/96/83/PDF/1991TH_CHEHAIBAR_G_NS15791.pdf |