The top horn looks more like a Silo (potentially a Pet).
The darkness in the center also looks to be a pickguard which points to being a Silo.
The part that makes me think Petrucci is the bottom end of the guitar. The Pet has a taper whereas the Silo has a fully rounded (almost circular) contour.