Les Réseaux de Petri P-temporels : modélisation et validation d'exigences
temporelles iv. 2.2 L'analyse ...... l'année, pour éviter de laisser trop longtemps l'
étudiant livré à lui-même (les contacts par courriel ont ...... Parmi les écueils que
comporte l'exercice qui consiste à représenter un cahier des charges, il y a la
tentation ... 
