@PHDTHESIS{trève1986,
url = "
		http://www.theses.fr/1986PA112264",
title = "Le calcul d'invariants dans les réseaux de Pétri à prédicats transitions unaires",
author = "Trèves, Nicolas",
year = "1986",
pages = "1 vol. (pagination multiple)",
note = "Thèse de doctorat dirigée par Roucairol, Gérard Informatique Paris 11 1986",
note = "1986PA112264",
}