In the past few years, the advances in context-aware systems and sensor technologies, has elevated the Internet of Things (IoT) development greatly and rather quickly. Services of IoT systems must be reasonably designed to provide not only the user's requirements and requests, but also perceive the environmental context and customized services to get user's satisfaction. Systematic modeling methodologies are essential to control the correctness of the services and the systems behaviors among dynamic changing contexts. The presented solution will be a novel IoT framework, “CANthings” (Context-Aware Networks for the Design of Connected Things) to identify IoT needs.This paper mainly promotes and analyzes an IoT system modeling methodology based on Timed Colored Petri Net (TCPN) to check the effectiveness of the provided services in the CANthings framework. Our goal is to present a standard solution that can be used in high-technical research and industrial projects.