Modélisation et analyse des systèmes de production discrets par les réseaux de Petri temporisés — Hervé Hillion