この資料をSMS送信: Remarks on the Reachability Graphs of Petri Nets