Modélisation Et Vérification Des Systèmes De Production Distribués À L’aide D’uml Et Des Réseaux De Petri
Résumé: Un processus de production est une partie importante d’un système de production. Dans ce travail, nous proposons une méthode pour la conception d’un superviseur de contrôle pour un processus de production distribué. Cette conception utilise UML pour la modélisation de l’aspect statique du processus et les réseaux de Petri pour la modélisation comportementale et la vérification des propriétés du processus. Le passage du diagramme UML vers les réseaux de Petri s’effectue de manière automatique, via une grammaire de graphes offerte par un outil de multi-modélisation ATOM3. La versificatrice des propriétés du processus de production est assurée par un outil adapté pour les réseaux de Petri, qui est INA.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
