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

• 作者: 唐明伟 宋文 胡节
• 来源期刊: 西华大学学报（自然科学版）
• 学科: 工学
• 关键词: 发送者-接收者问题 Petri网 抑止弧 建模 验证
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 软件理论与技术
• 页码范围: 35-37
• 页数: 3页
• 分类号: TP301
• 字数: 3282字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-159X.2007.06.011

摘要

通过对文献[1]中模型的分析,给出了一个实用性更强,功能扩展的发送者-接收者问题模型.通过允许外部环境加以控制,允许接收者强制取消接收、发送者(接收者)按定量模式工作,解决远程控制、流量控制等问题,最后对模型进行了验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐明伟	西华大学数学与计算机学院	22	53	4.0	7.0
2	宋文	西南交通大学软件学院	5	135	4.0	5.0
3	胡节	西华大学数学与计算机学院	1	0	0.0	0.0