正规表达式到无空标注Petri网的构造方法

摘要：

已知一个语言表达式或语言的集合,如何直接构造产生该语言的petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算、选择(并)运算、闭包运算、并行运算的性质,在此基础上给出正规表达式到无ε-空标注的恰当终结的标准Petri网的转换算法。作为对传统形式语言的有益补充,还给出了带件并发算子”//”的正规表达式到恰当终结的标准Petri(无ε-空标注)的转换算法。

关键词： Petri网 正规表达式 转换算法 语言表达

作者: 束德勤 范昊

作者单位: 山东农业大学信息科学与工程学院,泰安 271018

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 15-19,24

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）