Méthode d'analyse de réseaux de Petri, réseaux à files, et applications aux systèmes temps réel — Gérard Memmi