Programme

Une méthode de spécification du comportement des systèmes réactifs de production

G. Berio¹, F. Vernadat²

1 : Equipe MACSI, INRIA-Lorraine, Metz, France

2 : LGIPM, ENIM/Université de Metz, France

Spécification et notation d’un Système Flexible de Production (SFP)

C. TACQUARD, M. G. Bourreau, T. Varlet

LI/E3I, Université de Tours, France

Conception de systèmes distribués pour la commande des ateliers de production utilisant les réseaux de Petri

D. Boudebous, F. Serin, A. Benabdelhafid, J. Boukachour

Laboratoire d’Informatique du Havre, France