可达性分析 meaning in English

ra reachability analysis

Reachability of petri net
网系统的可达性分析
The petri net theory part : firstly , a new subclass of petri net named as cascade petri net , which is the superset of acyclic petri net , is formally defined . secondly , some fundamental properties and some methods of reachability analysis of cascade petri net are presented in detail . finally , the determinant and decomposition algorithms of cascade petri net are given
Petri网理论部分：首先定义了一类名为序状petri网的全新的petri网子类，这种petri网是无环petri网的超集；接着讨论了序状petri网的基本性质及其可达性分析方法；最后研究了序状petri网的判定和分解算法。