この資料をSMS送信: Setting decision process optimization into stochastic vs. petri nets contexts