Towards a simplified building of time Petri Nets reachability graph. - Hanifa Boucheneb; U. Alger; Gérard Berthelot (PNPM, 1993)