Analyse algorithmique des réseaux de Petri — Colette Johnen