@article{NetsWithTokens,
  title = "Nets with Tokens Which Carry Data",
  author = "A. W. Roscoe and Ranko Lazic and Tom Newcomb and Joel Ouaknine and James Worrell",
  year = "2007",
  journal = "{Springer LNCS 3349}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/118.pdf",
}