reseaux de Petri stochastiques et leur application a l’evaluation des systemes informatiques (1980)