| 扩展的模糊时间Petri网 |
| |
| 引用本文： | 董玉梅,张立臣.扩展的模糊时间Petri网[J].微电子学与计算机,2005,22(6):23-27. |
| |
| 作者姓名： | 董玉梅 张立臣 |
| |
| 作者单位： | 广东工业大学计算机学院,广东,广州,510090 |
| |
| 基金项目： | 国家自然科学基金，广东省自然科学基金，广东省高校自然科学基金 |
| |
| 摘 要： | 网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文介绍了扩展的模糊时间Petri网的定义,模型检验方法,仿真工具,网精简技术和应用领域,并探讨了进一步研究的方向.
|
| 关 键 词： | Petri网 模糊时间 形式化建模 网精简 实时系统 |
| 文章编号： | 1000-7180(2005)06-023-05 |
| 修稿时间： | 2004年12月6日 |
Extended Fuzzy-Timing Petri Nets |
| |
| DONG Yu-Mei,ZHANG Li-Chen.Extended Fuzzy-Timing Petri Nets[J].Microelectronics & Computer,2005,22(6):23-27. |
| |
| Authors: | DONG Yu-Mei ZHANG Li-Chen |
| |
| Abstract: | Network-based real-time system has strict requirements for time and QoS, therefore techniques and tools helping engineers design, implement and test these applications are highly desirable. Extended Fuzzy-Timing Petri Net(EFTN) is a formal model for modeling and analysis of network-based real-time systems, Petri Net's mathematical theory basis will ensure the reliability and correctness of concurrent systems. This paper introduces the definition of EFTN, model check method,stimulation tool,net-reduction technology and applications,and gives some directions of future work. |
| |
| Keywords: | EFTN |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
