Méthodologie de modélisation et simulation de systèmes complexes décrits par réseaux de Petri colorés — Francis Martin