Abstract: With the development of distributed computer system,Petrinet plays art increasingly important role in the field of computer science.This paper discusses the basic properties of Petrinet and points out that Petrinet could be regarded as a formal model for describing the important characteristics of computer systems.An analysis approach and algorithm for performance evaluation are presented