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
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;
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
DOI :
10.1109/ICRMS.2009.5270112
