Fig. 2From: Data offloading in IoT environments: modeling, analysis, and verificationA High-level Petri NetBack to article page