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...

Full description

Bibliographic Details
Main Author: Liu, Ding
Other Authors: Paris, CNAM
Language:en
Published: 2015
Subjects:
004
Online Access:http://www.theses.fr/2015CNAM1004/document