発行年2010 - 2014 キーワード滞留なしペトリネット 部局大学院理工学研究科(理学)