Toader Jucan Oana Captarencu Three Level Petri Nets Rule Based Reduction. 29-52 2002 12 Sci. Ann. Cuza Univ. db/journals/cuza/cuza12.html#JucanC02