Abstract FR:

Les réseaux de Petri colorés sont très utilisés comme langage de spécification des systèmes complexes caractérisés par la concurrence. La spécification d'un système complexe (réel) nécessite généralement la prise en compte de nombreux détails. Des difficultés apparaissent lorsque l'on essaye de prendre en compte tous ces détails dans le modèle en une seule étape. L'une des solutions consiste à construire un modèle plus abstrait (avec moins de détails) et modifier ce modèle étape par étape en apportant plus de détails à chaque étape. Cette démarche appelée raffinement prend fin lorsque tous les détails sont pris en compte. Plusieurs chercheurs ont travaillé sur le raffinement des modèles exprimés en réseaux de Petri colorés et proposé le raffinement des places, le raffinement des transitions, le raffinement par sous-réseau et le raffinement de type. Nous avons dans notre travail proposé de nouvelles règles de raffinement de type et de transition. Nous essayons d'élargir le raffinement de type proposé par C. Lakos. Cet élargissement concerne la relation qui doit exister entre le type raffiné et le type abstrait et les modifications sur le type. En plus du principe de raffinement de C. Lakos, la relation de sous-typage définie par B. Liskov et J. Wing. La règle de raffinement de transition consiste à remplacer la transition abstraite par un sous-réseau qui comprend des transitions dites alternatives. Nous avons mené des études de cas pour illustrer ces règles de raffinement et développé un outil d'aide à la conception des modèles exprimés en réseaux de Petri colorés.