キーワード滞留なしペトリネット 種類会議発表論文