In this paper, we proposed an approach for modeling services and service personalization based on a formal tool called PN² (Petri nets in a Petri net). We showed that an Internet of Me (IoM for short) environment can be modeled with PN². Then, we proposed a method to verify service personalization of a PN² model. We illustrated the proposed method with an example of an IoM environment and its service personalization.