向前可达性

（计算机科学技术名词）

向前可达性（forward reachability）是2018年公布的计算机科学技术名词。在条件/事件系统中，假定一个事件既可向前发生（即按佩特里网原义发生），也可向后发生。向前可达性即按佩特里网原义的可达性。