この資料をSMS送信: Change management in business process modeling based on object oriented petri net