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

The Equivalence of Bag Automata and Petri Net

作　　者：巩君华[1] 张继军[1] 范昊[1] 

机构地区：[1]山东农业大学信息科学与工程学院,泰安271018

出　　处：《系统仿真学报》2008年第S2期43-45,共3页Journal of System Simulation

摘　　要：研究了袋自动机和Petri网两种计算模型之间的关系,证明了两者在串行语义下,其动态行为(语言)是等价的,并分别给出了将袋自动机等价转化为Petri网的算法和将Petri网等价转化为袋自动机的算法。The relationship between the bag automata and the Petri net is discussed,and the equivalence of two models is shown.Algorithms for constructing a Petri net according to the bag automata and for constructing a bag automata according to the Petri net are given.

关 键 词：袋自动机 PETRI网 PETRI网语言 袋语言 等价性 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]