Analyse de Grafcets par Génération Logique de l'Automate Équivalent
En Génie Automatique, le GRAFCET [IEC 848] est couramment employé pour la modélisation de la dynamique des systèmes à événements discrets, en raison de ses capacités de modélisation et de son ergonomie. Cependant, il lui est reproché de ne pas être défini de manière suffisamment formelle pour que to...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
École normale supérieure de Cachan - ENS Cachan
1994
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00340842 http://tel.archives-ouvertes.fr/docs/00/34/08/42/PDF/these_Roussel.pdf |