プレース／トランジションネットと実行ファイルを用いたテストケース生成手法