Faithin Omaha eBook Collection

Download or read book Conception des systèmes de production à l'aide des réseaux de Petri written by Feng Chu and published by . This book was released on 1995 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans ce travail, nous nous intéressons à la conception des systèmes de production à l'aide des réseaux de Petri (RDP). L'objectif est de vérifier les propriétés qualitatives dans un processus de conception incrémentale. Le bon fonctionnement d'un système en phase opérationnelle nécessite une conception adéquate. Cela exige que le modèle réseaux de Petri possède de bonnes propriétés qualitatives : la consistance, la conservation, la bornitude structurelle, la répétitivité, l'absence de blocage, vivacité, etc. Nous considérons le processus de conception incrémentale dans lequel la conception se fait étape par étape, ce qui correspond à la réalité industrielle. chaque étape consiste à ajouter des transitions et/ou des places à un modèle existant, ou à intégrer des modèles existants par fusion de places et/ou de transitions. nous nous plaçons dans l'optique d'un ingénieur qui conçoit un modèle et qui souhaite savoir, à chaque étape de la conception, si son modèle conserve ou non les propriétés requises. Les résultats rassemblés dans cette thèse fournissent une base théorique pour le développement d'un outil qui va dans ce sens. Grâce aux nouveaux résultats théoriques que nous développons, la vérification des propriétés du modèle peut être effectuée en n'examinant qu'une partie du modèle. en utilisant des méthodes basées sur l'algèbre linéaire, nous établissons des conditions nécessaires et/ou suffisantes pour préserver la consistance, la conservation, la bornitude structurelle ou la répétitivité, dans différents cas de figure. La vérification de l'absence de blocage et de la vivacité est basée sur la méthode de verrous et de trappes. Nous démontrons des théorèmes qui mettent en évidence l'évolution de la base des verrous ou des trappes au cours de la conception incrémentale. Ces résultats nous permettent de développer des algorithmes pour déterminer la base des verrous ou des trappes. Nous définissons la notion de verrou mortel à partir de laquelle nous établissons des conditions nécessaires et/ou suffisantes d'absence de blocage pour tout réseau ordinaire et de vivacité pour les réseaux asymétriques et les graphes d'événements augmentés de places de ressources partagées. Nous développons un algorithme de programmation linéaire pour vérifier l'absence de verrous mortels.