Du Grafcet aux réseaux de Petri — Hassane Lotfi Alla, René David