發送短信 : Nonblocking supervisory control of state tree structures