| |
| 1998 | ||
|---|---|---|
| 3 | EE | Zakaria Bouziane: A Primitive Recursive Algorithm for the General Petri Net Reachability Problem. FOCS 1998: 130-136 |
| 2 | EE | Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon: BDL, A Language of Distributed Reactive Objects. ISORC 1998: 196-205 |
| 1997 | ||
| 1 | EE | Zakaria Bouziane, Alain Finkel: Cyclic Petri net reachability sets are semi-linear effectively constructible. Electr. Notes Theor. Comput. Sci. 9: (1997) |
| 1 | Albert Benveniste | [2] |
| 2 | Benoît Caillaud | [2] |
| 3 | Hubert Canon | [2] |
| 4 | Alain Finkel | [1] |
| 5 | Claude Jard | [2] |
| 6 | Jean-Pierre Talpin | [2] |