向前可達性

向前可達性（forward reachability）是2018年公布的計算機科學技術名詞。

基本介紹

• 中文名：向前可達性
• 外文名：forward reachability
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

在條件/事件系統中，假定一個事件既可向前發生（即按佩特里網原義發生），也可向後發生。向前可達性即按佩特里網原義的可達性。

出處

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