條件/事件系統

條件/事件系統（condition/event system）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。

基本介紹

• 中文名：條件/事件系統
• 外文名：condition/event system
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

設Σ=(B,E;F,)為一個基本網系統，C是Σ的完全情態集。若(B,E;F)是一個簡單網，而且①對任意條件b∈B，C中都存在,∈C，使得b∈但；②對任意事件e∈E，都存在,∈C，使得從情態發生事件e產生情態，那么就稱(B,E;F,C)為一個條件/事件系統。

出處

《計算機科學技術名詞 》第三版