Push notification to specific device

Hello, is there a way to send a push notification to a particular mobile device (not by user-id, maybe by device-token)? I couldn't find any mention of it in the documentation for push notifications.