キーワードretention-free Petri net 種類学術雑誌論文