这个CPN模型描述了一个发件人如何给收件人传递许多包裹。这个模型和以前我们所建议学习的简单协议（Simple Protocol）范例是一致的。
状态空间工具的文档可以在 状态空间工具的使用（use state space tool）中查看。
这个Petri网的文件可以在CPN工具的一个名为 Samples\SimpleProtocol的子目录下面找到。
文件：