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(万方平台首次上网日期,不代表论文的发表时间)