CPN Based Validation on Pervasive Cloud Task Migration

Task migration is important for mobile clouds. In order to validate the resources utilization, we propose a new approach to simulation our ideas based on colored Petri net. In this paper, we will expand semantic of the colored petri net and create two task migration rules. The first migration rule is no integration of context information. The second task migration rule is the integration of context information. We evaluated task migration for its accessibility, and integrity during the task migration process, the reliability and stability of mobile cloud system after task migration.