Thèse de doctorat en Informatique industrielle
Sous la direction de Robert Valette.
Soutenue en 1990
à Toulouse 3 .
Ce mémoire concerne l'élaboration d'un modèle combinant les réseaux de Petri à Objets, la théorie des possibilités et les notions de connaissance temporelle floue en vue d'une application à la surveillance des ateliers de fabrication automatisés, au niveau de la coordination globale. En effet, une surveillance efficace et capable de tolérer les interventions humaines nécessite de pouvoir décrire des situations ou l'état du système n'est pas connu avec certitude. La théorie des possibilités, en associant des distributions de possibilités aux divers états permet d'appréhender ce phénomène, en augmentant le nombre d'évènements considérés comme acceptables. Un contrôle flexible de l'exécution d'un plan de fabrication nécessite la manipulation de connaissances temporelles floues. Enfin, la modélisation des contraintes de séquencement découlant des gammes de fabrication et des allocations des machines implique l'utilisation des réseaux de Petri. L'idée présentée dans ce travail est d'introduire les notions de marquages imprécis et flou dans la théorie des réseaux de Petri. En cas d'incident, en plus du marquage courant pour lequel la localisation des jetons est certaine, on introduit un certain nombre de jetons dont la localisation est incertaine. A titre d'exemple est présenté l'utilisation du réseau de Petri avec marquage flou dans le cadre de la surveillance et de la reprise dans un atelier de fabrication automatisé.
About Petri nets with fuzzy markings
Pas de résumé disponible.