Petrilog : un atelier de modelisation pour les systemes de production

Petrilog : a modelling environment for production systems

• Auteur / Autrice : AURILLIA BECHINA
• Direction : Bernard Keith
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1997
• Etablissement(s) : Université Louis Pasteur (Strasbourg) (1971-2008)

Résumé

L'evolution actuelle des systemes de production est conditionnee par la triple contrainte d'accroitre la productivite, limiter les delais de fabrication et les cout de production. Etant donne la complexite et la taille des systemes de production consideres et la necessite economique des resultats escomptes, la conception de ces systemes demande une methodologie qui s'appuie imperativement sur une modelisation integrant tous les aspects significatifs pour le concepteur. Il existe des outils dits <<<>modeles formels de representation<>>> qui offrent un formalisme permettant d'inferer certaines proprietes statiques ou dynamiques d'un systeme de production (reseaux de petri, slam,. . . ). Mis a part la complexite des expressions auxquelles ces modeles formels peuvent conduire, leur contrepartie est qu'ils ne peuvent pas traduire tous les aspects qualitatifs pris en compte par le concepteur. C'est pourquoi les schemas actuels de modelisation font appel a des formalismes descriptifs ou methodes de description/specification (sadt, idefo,. . . ) a partir desquels il n'est pas possible d'inferer directement toutes les proprietes du systeme, mais qui contiennent les elements pour generer des modeles formels de representation relatifs a differents aspects du systeme etudie. Notre objectif est de concevoir un environnement informatique capable d'implementer une methode de description/specification pour la conception des systemes de production. D'une facon plus generale, il s'agit de definir un cadre informatique general pour le developpement d'un atelier de modelisation dedie aux systemes de production. En particulier, ce cadre doit permettre d'exprimer et d'interfacer les formalismes de specification et les formalismes de representation. Il doit egalement permettre l'implementation d'une certaine assistance a la conception des systemes de production.