Spécification et validation d'automatismes logiques interconnectés
CE MEMOIRE EST COMPOSE DE TROIS CHAPITRES. LE PREMIER POSE LE PROBLEME DE LA SPECIFICATION DES SYSTEMES DE COMMANDE COMPLEXES FORMES D'UN ENSEMBLE D'AUTOMATISMES COMMUNICANTS. APRES AVOIR INTRODUIT LES RESEAUX DE PETRI EN TANT QU'OUTIL FORMEL POUR LA SPECIFICATION, IL EST MONTRE QUE C...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paul Sabatier - Toulouse III
1982
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00181390 http://tel.archives-ouvertes.fr/docs/00/18/13/90/PDF/2726.pdf |