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

• 作者: 叶剑虹 唐明伟 宋文
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 抑止弧 建模 Petri网 发送者-接收者问题 验证
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 计算机科学与工程
• 页码范围: 1457-1460
• 页数: 4页
• 分类号: TP301
• 字数: 4102字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2007.06.028

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐明伟	西华大学数学与计算机学院	22	53	4.0	7.0
5	宋文	西华大学数学与计算机学院	35	113	6.0	9.0
6	叶剑虹	电子科技大学计算机科学与工程学院	3	11	2.0	3.0