DocumentCode
3513068
Title
A new approach to analyze the reachability of petri net and its use in maintenance
Author
Fang, Hualing ; Dong, Chuandai
Author_Institution
Inst. of Electr. & Electron Eng., Shandong Univ. of Technol., Zibo, China
fYear
2009
fDate
20-24 July 2009
Firstpage
630
Lastpage
632
Abstract
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.
Keywords
Petri nets; reachability analysis; trees (mathematics); IAM; Petri net; equipment maintenance modeling; integrative analyzing method; reachability; reachable tree method; state equation method; Automata; Computer errors; Discrete event systems; Electrons; Equations; Fires; Qualifications; Testing; Analyze; Maintenance modeling; Petri net; Reachability;
fLanguage
English
Publisher
ieee
Conference_Titel
Reliability, Maintainability and Safety, 2009. ICRMS 2009. 8th International Conference on
Conference_Location
Chengdu
Print_ISBN
978-1-4244-4903-3
Electronic_ISBN
978-1-4244-4905-7
Type
conf
DOI
10.1109/ICRMS.2009.5270112
Filename
5270112
Link To Document