Abstract FR:

La complexite croissante des systemes automatises de production necessite l'utilisation d'outils puissants pour decrire leurs comportements et les interactions temporelles entre les differentes entites du systeme. Les reseaux de petri constituent un outil de modelisation et de simulation particulierement adapte pour specifier le comportement des systemes industriels. L'aspect graphique permet de decrire les contraintes de parallelisme, de synchronisation et de sequencement, l'aspect mathematique permet de garantir formellement les proprietes du systeme modelise. Pour decrire un comportement modelise par reseaux de petri, il faut un editeur graphique avec des fonctions d'editions conviviales qui supporte la construction du reseau et la verification syntaxique. Il faut egalement une structure d'analyse utilisant la formalisation mathematique du reseau pour etablir les proprietes telles que: blocage, reinitialisable, vivant, borne. Enfin, il faut une structure de simulation interactive et conviviale permettant d'observer le comportement du systeme en fonctionnement. Ces exigences ont ete determinantes dans l'etude et la realisation de petrilam, atelier interactif et convivial de modelisation, d'analyse et de simulation de reseaux de petri autonomes, generalises et interpretes. Petrilam est ecrit en langage objet smalltalk et developpe en collaboration avec la societe t. N. I. Brest. L'analyse d'un reseau de petri s'effectue par la construction de l'arbre des marquages. Cet arbre represente l'ensemble des evolutions possibles du reseau. Trois methodes de calcul d'arbres sont implantees et permettent de determiner toute ou partie des proprietes du systeme modelise. Deux modes de simulation sont possibles: le mode manuel et le mode automatique. En mode manuel, chaque pas de la simulation est selectionne par l'utilisateur. La simulation automatique des reseaux de petri autonomes et generalises se deroule selon un mecanisme de choix aleatoire de la transition a franchir. La simulation des reseaux de petri interpretes, plus complexe, repose sur la determination d'une sequence de simulation complete