@Article{	  die94tcs,
  author	= "Volker Diekert",
  journal	= "Theoretical Computer Science",
  note		= "Special issue of ICWLC~92, Kyoto (Japan)",
  pages		= "87--105",
  title		= "A partial trace semantics for {P}etri nets",
  volume	= "134",
  year		= "1994",
  doi		= "10.1016/0304-3975(94)90280-1"
}