On intrinsically live structure and deadlock control of generalized Petri nets modeling flexible manufacturing systems
Nos travaux portent sur l'analyse des systèmes de production automatisée à l'aide de réseaux de Petri. Le problème posé est de savoir si un système peut se bloquer complètement ou partiellement et si besoin de calculer un contrôleur garantissant son bon fonctionnement. Les systèmes de prod...
Main Author: | |
---|---|
Other Authors: | |
Language: | en |
Published: |
2015
|
Subjects: | |
Online Access: | http://www.theses.fr/2015CNAM1004/document |