“CANthings”(Context Aware Network for the Design of Connected Things) service modeling based on Timed CPN | IEEE Conference Publication | IEEE Xplore