キーワード時間ペトリネット 部局大学院理工学研究科(理学)