%0 Journal Article %F Caillaud1999a %A Caillaud, Benoît %T Bounded Petri-net synthesis techniques and their applications to the distribution of reactive automata %J JESA, European Journal on Automated Systems %V 33 %N 8 %P 925-942 %D 1999 %K nets