6、CPN ML 颜色集：定义、使用与操作详解

CPN ML 颜色集：定义、使用与操作详解

1. 颜色集基础

CPN ML 语言提供了一组继承自 Standard ML 的预定义基本类型，这些类型可作为简单颜色集使用。简单颜色集能借助一组颜色集构造器来定义结构化颜色集。下面通过一个协议的 CPN 模型变体，来详细说明颜色集构造器的使用。

之前的模型中，数据包被建模为一个由整数和字符串组成的元组。而在这个变体模型里，数据包将被建模为一个记录，其中一个字段表示序列号，另一个字段表示数据内容。此外，还会为数据包和确认信息创建一个联合颜色集，并将其用作网络中各个位置的颜色集。最后，网络会被修改，以便数据包可以被复制。

颜色集的定义使用关键字 colset ，修改后的模型定义了两个简单颜色集 DATA 和 NO ：

colset DATA = string;
colset NO = int;

这两个颜色集分别使用了 Standard ML 的基本类型 string （所有文本字符串的集合）和 int （所有整数的集合）。Standard ML 还提供了 bool （包含布尔值 true 和 false ）和 unit （包含一个单一值 () ）这两个基本类型。 bool 类型在前文已有示例，