A quotient-graph for the analysis of reflective Petri nets