基于有色Petri网的动态资源模型

针对移动计算环境下的动态资源描述问题,提出了基于有色Petri网的动态资源模型——DRM-CPN模型.该模型首先按照一定的映射规则将物理网络映射到几何拓扑空间中,构造出空间结点图.随后,给图赋予一定的资源语义及语义约束.进而,在资源语义及语义约束的基础上构造出物理网络的形式化动态资源描述模型.最后,为了验证模型的有效性,采用CPN进行了仿真验证.实验表明,该模型合理、有效地描述了移动计算环境下的动态资源的变迁情形.

A Dynamic Resource Model Based on Color Petri Net

Aiming at the issue of depicting dynamic resource in mobile computing environment, a novel model named DRM-CPN, dynamic resource model based on semantic and semantic restriction, was proposed. Firstly, according as the character of physical network in mobile computing environment, the physical network was been mapped to logic network in geometry topology space. Then, the space node map was constructed. After that, put specific resource semantic and semantic restriction to the map. Whereafter, formalization dynamic resource model was constructed based on it. At last, the simulation was made using CPN for validating the validity of model. The result indicates the model was efficacious and provided strong support to depict the dynamic resource situation in mobile computing.