Performance optimization of a class of deterministic timed Petri nets : weighted marked graphs

Au cours des dernières décennies, la complexité croissante des systèmes de production et de leur commande a rendu crucial le besoin d’utiliser les méthodes formelles pour faire face aux problèmes relatifs au contrôle, à la fiabilité, au diagnostic des fautes et à l’utilisation optimale des ressource...

Full description

Bibliographic Details
Main Author: He, Zhou
Other Authors: Aix-Marseille
Language:en
Published: 2017
Subjects:
Online Access:http://www.theses.fr/2017AIXM0166/document