可達標識是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：可達標識
- 外文名：reachable marking
- 所屬學科：計算機科學技術
- 公布年度 ：2018年
- 審定機構： 全國科學技術名詞審定委員會
定義,出處,公布時間,
定義
設 M是佩特里網Σ的一個標識，M自身及M的後繼標識都是從M可達的標識；若M′是M的一個可達標識，則M′的後繼標識也是M 的可達標識。
出處
《計算機科學技術名詞 》第三版。
公布時間
2018年，經全國科學技術名詞審定委員會審定發布。
