CPNTOOLS 举例.docVIP

简单协议 Simple Protocol 协议系统的CPN模型如下所示。它包括三个部分。Sender部分有两个变迁，它们能Send Packets (发包)和Receive Acknowledgments (收到确认)。 Network部分有两个变迁：Transmit Packets (传送包)和Transmit Acknowledgments (传送收到确认)。最后，Receiver部分有一个单独的变迁，它能Receive Packets (收到包) (和发送确认)。Sender和Network之间的接口包括库所A和D，Network和Receiver之间的接口包括库所B和C。 待发送的包被放在库所Send中 (在左上角)。库所中的每个托肯包含了一个包的编号和包的数据内容（表示为文本字符）。库所Next Send包含了待发送的下一个库所的编号。这个编号最初是1，然后每收到一次收到确认，就进行一次更新。 接收到的消息的内容保存在库所Received中（在右上角）。这个库所包含了一个带有文本字符串的单独的托肯，该文本字符串是收到包包含的文本字符串的串联（忽略了重复的内容和无序的包）。Received中最初的文本字符串是空，如：””。在发送的最后，我们希望Received含有字符串”Modelling and Analysis by Means of Coloured Petri Nets”。库所Next Rec含有待接收的下一个包的编号。该编号初始为1，每次成功地接收到包之后都会进行更新。 我们没有模拟：Sender是如何把一个消息分成一系列的包；Receiver是如何把包重新组织成一个消息的；在发送的末尾如何移除Send和Received的托肯；Next Send和Next Rec中包的数量如何重置为1。现在来看一下协议系统中五个不同的变迁。 Send Packet通过在库所A中创建包的副本，向Network发送一个包。Next Send中的数字说明了要发送的是哪个包。应该注意的是，包没有从Send中移出，Next Send中的计数器也没有增长。原因是，包可能会丢失，因此需要转发retransmitted。我们的协议是悲观的，从某种意义上说，它继续重复了同一个包——直到它收到了接收确认，告知已经成功地收到了包。Transmit Packet通过把相应的托肯从A移到B，把来自Network中Sender站点的包发送给Receiver站点。布尔表达式Ok(s,r)决定了包是被成功地发送还是丢失了。变量r绑定了它颜色集中任意的值（如：1和10之间任意的整数）。CPN Tools在10个值之间进行了公平的选择。如果r的值小于或等于s值，函数Ok返回true。这说明，成功发送的概率是由库所SP的托肯决定的。我们已经给了SP一个值为8的托肯.因此，我们有80%的机会可以成功发送。简单地改变SP的托肯值，就可以很容易地修改该比率。 Receive Packet收到了一个包，检查包的编号n是否和Next Rec中的编号k一致。当两个编号匹配时，Next Rec中的号码增加1，包中的文本字符串连接到Received中的文本字符串——直到stop = “########”，这习惯上表示消息的结束。否则，包被忽略，Next Rec中的数量保持不变。在两种情况下，都发送了确认acknowledgement，该确认中包含了Sender应该发送的下一个包的数量。 Transmit Acknowledgement通过从C到D移动相应的托肯，发送了一个从Network中Receiver站点到Sender站点的确认。变迁的工作方式和Transmit Packet是类似的。这说明，确认可能被丢失，其概率是由库所SA中的托肯决定的。 Receive Acknowledgment收到了一个确认，通过用确认中的值代替旧值，更新了Next Send中的数量。 在很多步之后，CP-net可能达到中间的标识，如下所示。从网的左手边开始，我们看到，sender正在发送号码3的包。我们还能看到，该包的三个拷贝出现在库所A和B中。从网的右手边我们看到，字符串”Modelling and Analysis b”已经接受到了(Received)。这是开始的三个包的内容，接收者正在等待号码4的包。因此，当A和B的包到达接收者时，这些包被忽略了。我们还能看到，两个确认出现在库所D上。当Receive Acknowledgment发生时，Next Send将被更新为4，然后发送者将开始发送号码为4的包。 当最后一个包(带有”########”)被接收者成功接收是，Next Rec得到了值9（比包的号码大1）。该值将与发送者沟通（通过一个确认），Next Send将被更新为9，发送将停止—