A hierarchical approach to construct Petri nets for modeling the fault propagation mechanisms in sequential operations
暂无分享,去创建一个
[1] R. Drath. Hybrid object nets : An object oriented concept for modeling complex hybrid systems , 1998 .
[2] D. J. Allen,et al. New Algorithms for the Synthesis and Analysis of Fault Trees , 1980 .
[3] F. P. Lees,et al. The propagation of faults in process plants: 1. Modelling of fault propagation , 1986 .
[4] René David,et al. A Modelling and Analysis Tool for Discrete Events Systems: Continuous Petri Net , 1998, Perform. Evaluation.
[5] C. Petri. Kommunikation mit Automaten , 1962 .
[6] Chuei-Tin Chang,et al. Studies on the Digraph-Based Approach for Fault-Tree Synthesis. 2. The Trip Systems , 1994 .
[7] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[8] F. P. Lees,et al. The propagation of faults in process plants: 2. Fault tree synthesis , 1986 .
[9] Venkat Venkatasubramanian,et al. A semi-quantitative reasoning methodology for filtering and ranking HAZOP results in HAZOPExpert , 1996 .
[10] René David,et al. Petri nets for modeling of dynamic systems: A survey , 1994, Autom..
[11] Gary J. Powers,et al. Fault Tree Analysis of Sequential Systems , 1977 .
[12] Gary J. Powers,et al. Computer-aided Synthesis of Fault-trees , 1977, IEEE Transactions on Reliability.
[13] Miklós Gerzson,et al. An intelligent diagnostic system based on petri nets , 1998 .
[14] V. Venkatasubramanian,et al. Automating HAZOP analysis of batch chemical plants: Part I. The knowledge representation framework , 1998 .
[15] F. D. J Bowden,et al. A brief survey and synthesis of the roles of time in petri nets , 2000 .
[16] Chuei-Tin Chang,et al. New developments of the digraph-based techniques for fault-tree synthesis , 1992 .
[17] Venkat Venkatasubramanian,et al. Automating HAZOP analysis of batch chemical plants : Part II. Algorithms and application , 1998 .
[18] John Andrews,et al. Application of the digraph method of fault tree construction to process plant , 1986 .
[19] Hiromitsu Kumamoto,et al. Safety and reliability synthesis of systems with control loops , 1979 .
[20] Venkat Venkatasubramanian,et al. Hazopexpert: An expert system for automating HAZOP analysis , 1996 .
[21] René David. Modeling of hybrid systems using continuous and hybrid Petri nets , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.
[22] Chuei-Tin Chang,et al. Studies on the Digraph-Based Approach for Fault-Tree Synthesis. 1. The Ratio-Control Systems , 1994 .