Sur la description, l'analyse et la validation des systèmes de commande parallèles
/ Robert Valette, [1976] [thèse]. Application and theory of Petri nets 1994 : 15th
International conference, Zaragoza, Spain, June 20-24, 1994, proceedings / Robert
Valette, ed., 1994