模糊时间Petri网及扩展的模糊时间Petri网

摘要：

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求.模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design/CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向.

关键词：形式化建模、网精简、实时系统、模糊时间Petri网、扩展的模糊时间Petri网

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：中国科学院资助项目60474072;60174050;广东省博士启动基金04009465;010059;广东省高校自然科学基金Z03024

在线出版日期：2005-12-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：241-246