@Article{         DBLP:journals/eatcs/EsparzaN94,
  Author        = "Esparza, Javier and Nielsen, Mogens",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2012-12-18 12:16:42 +0000",
  date-modified = "2012-12-18 12:16:50 +0000",
  Journal       = "Bulletin of the EATCS",
  Keywords      = "Petri nets",
  Pages         = "244-262",
  Title         = "Decidability Issues for Petri Nets - a survey",
  Volume        = "52",
  Year          = "1994",
  File          = "Decidability Issues for Petri Nets - a survey - Esparza, Nielsen (0) (0) - a - a - i.pdf"
}

@Article{ DBLP:journals/eatcs/EsparzaN94, Author = "Esparza, Javier and Nielsen, Mogens", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2012-12-18 12:16:42 +0000", date-modified = "2012-12-18 12:16:50 +0000", Journal = "Bulletin of the EATCS", Keywords = "Petri nets", Pages = "244-262", Title = "Decidability Issues for Petri Nets - a survey", Volume = "52", Year = "1994", File = "Decidability Issues for Petri Nets - a survey - Esparza, Nielsen (0) (0) - a - a - i.pdf" }