この資料をSMS送信: Property-preserving petri net process algebra in software engineering