A Petri-Net Based Reflective Framework