頁籤選單縮合
題名 | Frame-Based Petri Nets for Dynamic Safety Analysis=以參考架構為基礎之裴氏圖動態安全分析 |
---|---|
作者姓名(中文) | 范金鳳; 辜勝宏; | 書刊名 | 核子科學 |
卷期 | 34:5 1997.10[民86.10] |
頁次 | 頁318-326 |
分類號 | 449 |
關鍵詞 | 裴氏圖動態安全分析; 核子工程; Two frame model; Petri net; Frame inconsistency; |
語文 | 英文(English) |
中文摘要 | This paper decribes safety analysis using Petri nets for Two-Frame Model (TFM), an analytical framework emphasizing dynamic interaction and possibile inconsistency between the physical and the logical subsytems. Previus papers proposed static approach to safety analysis under the TFM framework. This paper proposes dynamic approach using framebased Petri nets for TFM. The proposed approach a simple visual way at design level to analyze timing and consistency issues. |
本系統之摘要資訊系依該期刊論文摘要之資訊為主。