A new approach to analyze the reachability of petri net and its use in maintenance

摘要

The reachable tree method and state equation method to analyze the reachability of Petri net are discussed for their advantages & disadvantages. And a new approach named Integrative Analyzing Method (IAM) is presented in this paper based on the improvements of two methods above. IAM are provided with both advantages of speed and exactness, and an application example of equipment maintenance with this method is given to show the feasibility of IAM.