随着分布式计算和计算机网络技术的发展,分布式系统的应用及其设计技术成为计算机科学研究领域的热点。分布式实时系统的应用也日益进入人们的日常生活,这些应用包括虚拟现实,远程教育,远程医疗,网络电话等。 分布式实时系统对时间和QoS的有非常严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。 本文详细地介绍了模糊时间Petri网及扩展的模糊时间Petri网,扩展的时间Petri网的网精简方法,使用CPN Tools仿真扩展的模糊时间Petri网。 分布式多媒体系统支持数据库中或网络中的声音、视频、文本和数字数据的整合与协同。分布式多媒体同步包含异构的源和媒体之间的异步通信。不是所有的媒体分段都有事先知道的播放时间间隔,几个分布的、独立的源之间的多媒体同步可能包含不确定的时间需求,所以需要一个时间模型来处理这些不确定性。本文使用扩展的模糊时间Petri网对分布式多媒体同步进行建模和分析。 在分布式多媒体系统中,资源预留协议是保证服务质量的一个重要协议。但是资源预留协议的一些说明文档模棱两可,晦涩难懂;而且修改协议中的错误可能付出高昂的代价。对RSVP进行形式化方法建模,可以使问题更清晰;同时对RSVP进行验证,可以及时发现错误而不必付出高昂代价。本文介绍了资源预留协议,使用CPN Tools建立网络模型,分析了时间参数,并且对网络模型的性能进行分析。接着介绍了一个分布式多媒体系统的实例一远程教育系统,并且对会话控制模块进行了建模和简要分析。最后探讨了进一步研究的方向。