正规表达式与恰当终结的标准Petri网

摘要：

给出了一种较特殊的Petri网子类--恰当终结的标准Petri网,可以证明恰当终结的标准Petri网产生的语言是正规语言,反之任一正规语言都可由恰当终结的标准Petri网产生.研究了恰当终结的标准Petri网语言关于连接运算"(○)"、选择(并)运算"∪"、kleene闭包运算"*"、并行运算"//"的性质,给出了用恰当终结的标准Petri网(带空标注)模拟和带并发算子的正规表达式的方法.

关键词：恰当终结的标准Petri网、Petri网、正规语言、正规表达式、语言

所属期刊栏目：33

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金60173053

在线出版日期：2007-11-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：13-16