Bounded Petri-net synthesis techniques and their applications to the distribution of reactive automata

Cet article detaille un algorithme polynomial de synthese de reseaux de Petri bornes repartissables. Il constitue la base d'une nouvelle methode de repartition d'automates reactifs qui permet tout a la fois une extraction de la concurrence et le traitement de choix non localises.