发送-接收问题的Petri网建模与验证

Modeling and Verification of the Sender-Receiver Problem Using Petri Nets

发送者-接收者(S-R)问题可以看作处理共享通道的一个有代表性的问题。通过对文献[1]中模型的分析,结合Petri网的特点和网络环境下的系统,给出了一个实用性更强、功能扩展的Petri网模型。该模型允许外部环境加以控制,允许接收者强制取消接收以及发送者(接收者)按定量模式工作,可解决远程控制、流量控制,提高在实际网络环境中的通信质量。建立与Petri网模型相关联的关联矩阵,并使用关联矩阵对模型进行了验证。

The sender-receiver problem is a typical one in solving the sharing message channels. After analyzing the model in Ref. [1] and combining with the characteristics of Petri Nets and the system on Internet, this article presents a more practical model with expanded functionalities. The model permits exterior condition control. The receiver can imperatively abort receiving and the sender (or the receiver) can work in accordance with the quantitative pattern. It may solve the problem, such as remote control and flow control. Then, a relationship matrix about the model using Petri Nets is established. Finally the verification is given.