是一種特殊的倒立樹狀邏輯因果關系圖，它用事件符號、邏輯門符號和轉移符號描述系統中各種事件之間的因果關系。邏輯門的輸入事件是輸出事件的"因"，邏輯門的輸出事件是輸入事件的"果"。