Petri网是可以应用到很多系统和领域的图形和数学模型工具。Petri网以其简捷、直观、潜在模拟能力强等特点被广泛用于离散事件系统的模拟和分析中。Petri网的主要特点包括:并行性、不确定性、异步性、分布描述能力和分析能力。活性(Liveness)、有界性(Boundedness,又称为n-安全性(N-safeness))、家态(Home-state)、公平性等性质是Petri网的系统分析中最重要的几个性质。自Petri网的概念形成以来,有关这些性质的研究就非常活跃。随着计算机科学和技术的发展,计算机应用和计算机网络不断普及和深入,人们越来越感到计算机网络系统性能评价在社会技术进步中的重要性。计算机网络性能评价的研究目的主要有三个:选择、改进和设计。性能评价的方法大致可以分为两类:测量方法和模型方法。而模型方法具有测量方法无法比的优点。性能分析方法传统上采用排队论数学理论来解决系统的描述问题,数学求解的基础是马尔可夫随机过程。80年代初,随机Petri网的提出为系统性能分析又提供了一个新的数学描述工具。清华大学林闯教授的工作最具代表性。本文中采用模型方法,利用P/T网、有色网和自控网为工具来分析计算机网络性能。文中的研究是从分析、模拟与验证等方面展开的。结合实际应用环境,进行了较为深入细致的研究,对实际问题建模。随后,利用结构性分析、化简技术对模型修改与完善。最后利用不变技术等验证模型的主要行为特征:对实际问题的处理结果,得到了一些新的结论。主要工作包括以下内容:(1)发送者—接收者问题(简称S-R问题)可以看作处理共享通道的一个有代表性的问题。结合Petri网的特点和网络环境下的系统,给出了一个实用性更强、功能扩展的S-R问题的Petri网模型。(2)扩展的选择重传协议的Petri网研究与建模问题。此双重重传技术能够保证网络通讯的及时性和可靠性。最后对模型进行了验证。(3)基于有色自控网的电梯系统问题。在分析电梯系统的有色网模型以及结合电梯系统的需求的基础上,提出了带有色约束弧的有色自控网。最后给出了基于有色自控网的n层楼电梯系统控制模型。