A DJP is a dj/producer. There are producers. There are DJs. And there are DJ/Producers who get to spin their own music as well as others. They aren't simply just "DJ XYZ"... The producer credit should be acknowledged.
Armin Van Buuren, Avicci, Afrojack are all famous DJPs.