Petri网的状态转换图  

State Transition Diagram of Petri Net

作　　者：张继军[1] 吴哲辉[2] 董卫[1] 

机构地区：[1]山东农业大学信息学院,山东泰安271018 [2]山东科技大学信息学院,山东青岛266510

出　　处：《小型微型计算机系统》2008年第9期1714-1718,共5页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60673053)资助

摘　　要：给出Petri网的状态转换图模型,并作为分析工具,分析Petri网重复引发序列在状态转换图中的表现特点,给出标注路径(回路)与引发序列(重复引发序列)的关系及其判定条件,并给出求基本重复引发序列的计算方法;定义了可重复序列之间的依赖性和依赖度,准确地给出了可重复序列之间依赖关系的形式描述;分析了Petri网语言的结构特点,证明了任意一个Petri网语言都是一个正规语言表达式与该网的可重复引发序列α闭包的同步.The state transition diagram model of Petri net is given. It is a tool for analyzing behavior of Petri net. The structural characteristics of the repetitive firing sequence of Petri net in state transition diagram is analyzed, and the relations between the firing sequence and marked path are given. An algorithm for computing fundamental repetitive firing sequence is given. Depen- dence of repetitive firing sequences is defined and the structural properties which a language of Petri net is synchronous opera- tion between regular languages expression and α-closure of repetitive sequences is given.

关 键 词：PETRI网 状态转换图 重复序列的依赖性 标注路径 

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