@masterthesis{sangnier-m2,
   author = {Sangnier, Arnaud}, 
   school = {Master Systèmes et Applications Réparties, Paris 6, France}, 
   type = {Rapport de Master 2 Recherche}, 
   title = {Toward Verification of Time Coloured Petri Nets}, 
   year = {2005}, 
}