Zakariae BOUZIANE

Projet PAMPA

IRISA

Campus de Beaulieu,

F-35042 Rennes Cedex

France

Tel : +33 2 99 84 75 17

Fax : +33 2 99 84 71 71

Email : bouziane@irisa.fr

A Primitive Recursive Algorithm for the General Petri Net Reachability Problem, May 1998, 10 pages.