Addressing soundness and efficiency issues in dynamic processes : a reflective PN-based modeling approach