Cyclic Petri net reachability sets are semi-linear effectively constructible. - Zakaria Bouziane; Alain Finkel (INFINITY, 1997)

A Primitive Recursive Algorithm for the General Petri Net Reachability Problem. - Zakaria Bouziane (FOCS, 1998)

BDL, A Language of Distributed Reactive Objects. - Jean-Pierre Talpin; Albert Benveniste; Benoît Caillaud; Claude Jard; Zakaria Bouziane; Hubert Canon (ISORC, 1998)