向后可达性

（计算机科学技术名词）

向后可达性（backward reachability）是2018年公布的计算机科学技术名词。在C/E系统中，假定一个事件既可以向前发生（与佩特里网原义相同），也可向后（向反方向）发生。向后可达性就是以向后发生为假定的可达性。