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