In-beam PET measurements of beta+ radioactivity induced by proton beams.