佩特里网语言

（计算机科学技术）

佩特里网语言（Petri net language），计算机科学技术名词，从语言理论的角度来研究佩特里网中的变迁发生序列的集合及其性质的分支。对一个佩特里网，如果定义了其变迁集到某字母表的一个映射。这个佩特里网中满足某些条件的变迁发生序列的集合就是该字母表上的一个语言。