发送短信 : Modeling and implementation of visual language using petri net model /