發送短信 : Change management in business process modeling based on object oriented petri net