PEPA GIF (PEPA)