@article {RP-79-01, title = {Synth{\`e}se programm{\'e}e des automatismes logiques d{\'e}crits par r{\'e}seaux de Petri: Une m{\'e}thode de mise en oeuvre sur microcalculateurs}, journal = {Rairo-Automatique}, volume = {13}, year = {1979}, month = {11}, pages = {369-393}, author = {M. Silva and R. David} }