佩特里網語言(Petri net language)是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名:佩特里網語言
- 外文名:Petri net language
- 所屬學科:計算機科學技術
- 公布時間:2018年
定義,出處,
定義
從語言理論的角度來研究佩特里網中的變遷發生序列的集合及其性質的分支。對一個佩特里網,如果定義了其變遷集到某字母表的一個映射。這個佩特里網中滿足某些條件的變遷發生序列的集合就是該字母表上的一個語言。
出處
《計算機科學技術名詞 》第三版。
佩特里網語言(Petri net language)是2018年公布的計算機科學技術名詞。