@TechReport{MM03,
  author = {Jean-Yves Marion and Jean-Yves Moyen},
  title = {Termination and ressource analysis of assembly programs by 
           {P}etri {N}ets},
  institution = {Loria},
  year = 2003,
  number = {}
}