發送短信 : Quantitative measure for discrete event supervisory control