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

Regular Expression and Standard Properly End Petri Nets

作　　者：范昊[1] 吴哲辉[2] 

机构地区：[1]中国科学院计算技术研究所智能信息处理开放实验室 [2]山东科技大学信息科学与工程学院,青岛266510

出　　处：《计算机工程》2007年第17期13-16,共4页Computer Engineering

基　　金：国家自然科学基金(60173053)

摘　　要：给出了一种较特殊的Petri网子类——恰当终结的标准Petri网,可以证明恰当终结的标准Petri网产生的语言是正规语言,反之任一正规语言都可由恰当终结的标准Petri网产生。研究了恰当终结的标准Petri网语言关于连接运算"o"、选择(并)运算"∪"、kleene闭包运算"*"、并行运算"∥"的性质,给出了用恰当终结的标准Petri网(带空标注)模拟和带并发算子的正规表达式的方法。This paper presents a new Petri nets model named standard properly end Petri nets. It is proved that the language descriptive ability of standard properly end Petri nets is equal to regular expression. This paper reaches the quality about standard properly end Petri nets operation such as connection, union, kleene closure and concurrence. As essential supplement of formal language theory, the transformation methods from the regular expression with concurrence operation to standard properly end Petri nets is given. The methods from the regular expression to standard properly end Petri nets is given.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]