この資料をSMS送信: Quantitative measure for discrete event supervisory control