26 févr. 2009 ... Les Réseaux de Petri P-temporels : modélisation et validation d'exigences
temporelles iv. 2.2 L'analyse des ...... l'année, pour éviter de laisser trop
longtemps l'étudiant livré à lui-même (les contacts par courriel ont ..... un système
par les Réseaux de Petri Colorés" rapport de DEA, LAI INSA de Lyon, 1993. 
