キーワードPetri Nets 部局工学部