基于语言等价的Petri网化简

摘要：

定义了α闭包表达式和同步交错正规表达式,证明了同步交错正规表达式与Petri网语言的等价性,给出了Petri网语言的结构特征: 任意一个Petri网语言都是一个正规语言表达式与α闭包表达式的同步,借助于这一特性,给出了Petri网的化简过程及其算法。

关键词： α闭包表达式 同步交错正规表达式 Petri网 化简算法

作者: 张继军 董卫

作者单位: 山东农业大学信息学院 山东泰安 271018

会议类型: 国内会议

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

会议地点: 大连

会议语种:中文

页码: 168-170,174

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