この資料をSMS送信: Decomposition and protocols in high-level Petri nets /