扩展的模糊时间Petri网

• 作者: 张立臣 董玉梅
• 来源期刊: 微电子学与计算机
• 关键词: Petri网 模糊时间 形式化建模 网精简 实时系统 EFTN
• 年，卷（期）: 2005,（6）
• 页码范围: 23-27
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2005.06.007

摘要

网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文介绍了扩展的模糊时间Petri网的定义,模型检验方法,仿真工具,网精简技术和应用领域,并探讨了进一步研究的方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张立臣	广东工业大学计算机学院	158	820	14.0	21.0
2	董玉梅	广东工业大学计算机学院	2	8	1.0	2.0