向後可達性

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

基本介紹

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

定義

在C/E系統中，假定一個事件既可以向前發生（與佩特里網原義相同），也可向後（向反方向）發生。向後可達性就是以向後發生為假定的可達性。

出處

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