Ryad A. Zemouri Daniel I. Racoceanu Noureddine Zerhouni A Petri net Graphic Method of Reduction Using Birth-death Processes. 46-51 2001 conf/icra/2001 ICRA db/conf/icra/icra2001.html#ZemouriRZ01