Given two markings pi1 and pig, we say pig is reachable from /i1, if there exists an occurrence sequence 0' such that pi1 L pig. The reachability graph of ...
確定! 回上一頁