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

摘要：

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

关键词： 抑止弧 Petri网 S-R问题 通信质量

作者: 唐明伟 宋文 叶剑虹

作者单位: 西华大学数学与计算机学院,成都,610039;电子科技大学计算机科学与工程学院,成都,610054 西华大学数学与计算机学院,成都,610039 电子科技大学计算机科学与工程学院,成都,610054

会议类型: 国内会议

会议名称: 2007年数据挖掘课程研讨会暨2007年新型技术与应用中的安全技术研讨会(WSIETA2007)

会议地点: 成都

会议语种:中文

页码: 1457-1460

在线出版日期: 2007-08-14（万方平台首次上网日期，不代表论文的发表时间）