@Unpublished{     General-Petri-Net-Reachability-Problem-Zakariae-Bouziane,
  Author        = "Bouziane, Zakariae",
  date-added    = "2013-12-02 11:08:05 +0000",
  date-modified = "2013-12-02 11:08:34 +0000",
  Keywords      = "Petri nets",
  Month         = "April",
  Title         = "A Primitive Recursive Algorithm for the General Petri Net Reachability Problem",
  Year          = "1998",
  File          = "A Primitive Recursive Algorithm for the General Petri Net Reachability Problem - Bouziane (0) (0) - a - a - m.pdf"
}

@Unpublished{ General-Petri-Net-Reachability-Problem-Zakariae-Bouziane, Author = "Bouziane, Zakariae", date-added = "2013-12-02 11:08:05 +0000", date-modified = "2013-12-02 11:08:34 +0000", Keywords = "Petri nets", Month = "April", Title = "A Primitive Recursive Algorithm for the General Petri Net Reachability Problem", Year = "1998", File = "A Primitive Recursive Algorithm for the General Petri Net Reachability Problem - Bouziane (0) (0) - a - a - m.pdf" }