Implantation de réseaux de Petri sur automate biprocesseur à haute sûreté de fonctionnement. — Jean Defrenne