发送短信: Modeling and simulation of discrete-event systems