2Parmar J C ,Lees F P.The propagation of faults in process plants:hazard[J].Reliability Engineering, 1987a; 17:277～302Parmar J C,Lees F P.The propagation of faults in process plants:hazard identification for a water separator system[J].Reliability Engineering, 1987b; 17: 303～314
3Waters A,Ponton J W.Qualitative simulation and fault propagation in process plants[J].Chemical Engineering Research & Design, 1989;67 (4): 407～422
4Karvonen I,Heino P,Suokas J.Knowledge-based approach to support HAZOP studies[R].Technical Research Center of Finland,Research Report, 1990
5Nagel C J.Identification of hazards in chemical process systems[D].Ph D Thesis. USA:Massachusetts Institute of Technology,1991
6Catino C,Ungar L H.Model-based approach to automated hazard identification of chemical plants[J].American Institute of Chemical Engineering Journal, 1995 ;41 ( 1 ) :97～109
7Suh J C,Lees S,Yon E S.New strategy for automated hazard analysis of chemical plant[J].Journal of Loss Prevention in the Process Industries, 1997; 10(2): 113～134
8Faisal 1 K,Abbasi S A.TOPHAZOP:a knowledge-based software tool for conducting HAZOP in a rapid ,efficient yet inexpensive manner [J].Journal of Loss Prevention in Process Industries,1997;10(5-6):333～343
9Dimitradis V D,Shah N,Pantelides C C.Model-based safety verification of discrete/continuous chemical processes[J].American Institute of Chemical Engineering Journal, 1997;43 (4): 1041～1059
10Srinivasan R,Dimitradis V D,Shah N et al. Safety verification using a hybrid knowledge-based mathematical programming framework[J].American Institute of Chemical Engineering Journal,1998;44(2):361～371
