会议专题

A New Approach to Analyze the Reachability of Petri Net and Its Use in Equipment Support

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

Petri net reachability analyze equipment support

WANG Yanlei CHEN Chunliang ZHANG Danyang

Technical Support Department, Armored Force Engineering Academy, China

国际会议

The First International Conference on Maintenance Engineering(首届维修工程国际学术会议)

成都

英文

941-945

2006-10-15(万方平台首次上网日期,不代表论文的发表时间)