キーワード時間ペトリネット 種類会議発表論文