发送短信: Watson-crick petri net and place-labelled petri net controlled grammar using formal language theory