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