袋自动机与Petri网模型之间的等价转化

摘要：

研究了袋自动机和Petri网两种计算模型之间的关系,证明了两者在串行语义下,其动态行为(语言)是等价的,并分别给出了将袋自动机等价转化为Petri网的算法和将Petri网等价转化为袋自动机的算法。

关键词： 袋自动机 Petri网 计算模型 等价转化

作者: 巩君华 张继军 范昊

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

会议类型: 国内会议

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

会议地点: 天津

会议语种:中文

页码: 43-45

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