本文主要应用Petri网工具形式化分析了计算机集群中负载均衡机制,在建立了负载均衡机制模型的基础上,做出了模型的形式化验证和性能分析。作者的工作主要体现在以下三个方面:一.研究了计算机集群中负载均衡机制;二.对Petri网的分析方法作了综合性的阐述;三.建立了负载均衡的Petri网模型,并应用Petri网理论分析了这个模型。使用形式化方法分析计算机集群中的负载均衡机制是系统的、科学的方法。 在第一章中,介绍了研究背景、现状和领域内常用的研究方法。第二章阐述了计算机集群中负载均衡机制的工作原理、基本的负载均衡算法,并且通过例子来直观的了解负载均衡具体的运作方式。第三章综合阐述了Petri网模型的建立方法,形式化验证方法和性能分析方法,并且简单的介绍了相应的数学理论工具马尔可夫链。第四章建立了计算机集群中负载均衡机制的Petri网模型,并作了形式化的分析。第五章对研究的存在问题和将来需要做的工作做了简要阐述和展望。性能分析中,非马尔可夫模型,辅助分析软件的应用都是值得进一步研究的问题。同时,使用本文的分析方法有助于开发出更加有效的负载均衡算法。