作　　者： ; ;

机构地区： 广东工业大学计算机学院

出　　处： 《微电子学与计算机》 2005年第6期23-27,共5页

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

关 键 词： 网 模糊时间 形式化建模 网精简 实时系统

领　　域： [自动化与计算机技术] [自动化与计算机技术]