開発・運用環境のデータを用いた拡張プレース/トランジションネットのミュータント生成手法