摘要
网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时问间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间 Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间 Petri网及可扩展的时间 Petri网,可扩展的时间 Petri网的网精简方法,使用 design/CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。
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. Fuzzy-Timing Petri Net(FTN) employ fuzzy set theory to express uncertain or subjective timing information, by each transition being associated with a firing interval, we get Extended Fuzzy-Timing Petri Net(EFTN). 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 detailedly introduces the definition of FTN and EFTN, model check method, net-reduction technology, using design/CPN to simulate, modeling distributed multimedia synchronization by EFTN, and roves some directions of future work.
出处
《计算机科学》
CSCD
北大核心
2005年第11期241-246,共6页
Computer Science
基金
国家自然科学基金(No.60474072
No.60174050)
广东省自然科学基金(No.04009465
No:010059)
广东省高校自然科学研究项目(No.Z03024)基金