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