CPNtools协议建模安全分析---实例（三）

对于复杂的系统的建模或者协议的建模，各种颜色集的定义以及变量的声明很重要，要区分明确，对于函数行业进程的定义更加复杂。CPN对协议的描述只适合简单逻辑性的协议分析，如果协议包括复杂的算法，那么CPN就不适合做协议的建模分析，

1、实例

 现在我们使用CPN来建模一个 灰姑娘和继母的故事，   继母要求灰姑娘将不同的谷物分开，当灰姑娘去跳舞的时候 小老鼠分离这些谷物。

首先我们需要定义颜色集 和变量，

colset p=unit with pumpkin;
colset c=unit with Cinderella;
colset g=with rice | wheat | oat;
colset m=unit with mouse;
colset f=unit with Fairy;
var x: c;
var y: g;
var z: f;
var u: p;
var v: m;

初始的状态如下面

 后续执行的步骤图见下面：