Présentation générale et objectifs

Le projet Paragraphe a été créé à l'Inria en septembre 97 et fait suite à l'action Micas de l'Irisa. Le projet étudie des techniques de synthèse de réseaux de Petri applicables à la parallélisation, à la distribution ou au contrôle des systèmes de transitions. Le projet étudie des réseaux de Petri étendus servant à modéliser la coordination d'agents mobiles ou humains, coopérant à un service commun ou communiquant par un système sophistiqué. Le projet se consacre aussi à l'étude des propriétés fondamentales des graphes à structure régulière, telles les graphes de transitions des automates à pile ou les structures d'événements associées aux réseaux de Petri saufs.