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

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