@inproceedings{RS-concur09,
   author = {Reynier, Pierre-Alain and Sangnier, Arnaud}, 
   booktitle = {{P}roceedings of the 20th International Conference on Concurrency Theory (CONCUR'09)},
   pages = {557-571}, 
   publisher = {Springer}, 
   series = {Lecture Notes in Computer Science}, 
   title = {Weak {T}ime {P}etri {N}ets strike back!}, 
   volume = {5710}, 
   year = {2009}
}