定时器协议
CPN Tools help
Example Nets
下面的例子表示从 "
Simple Protocol
"的CP网如何修改使得消息的重发能够由一个简单的定时器控制－通过两个库所和两个变迁建模. CP网没有使用时间戳，因此不应和"
Timed Protocol
"相混淆.
该网络的文件能在cpntools的子目录下找到，该子目录称为Samples\ProtocolWithTimer.
文件如下
ProtocolWithTimer.zip (CPN TOOLS中加载的网络)
ProtocolWithTimer.pdf (描述模型的文档)
