この資料をSMS送信: Watson-crick petri net and place-labelled petri net controlled grammar using formal language theory