%0 Journal Article
%T petri网语言表达式及其求解算法
%A 张继军
%A 范昊
%A 耿霞？
%J 计算机科学
%D 2009
%X petri网语言是描述网系统动作序列的集合。为了给出一个网系统语言的形式描述，基于petri网的状态转换图，分析了petri网的行为特征，定义了α闭包表达式和petri网语言表达式，给出了求解petri网语言表达式的算法，为petri网语言的形式化描述和分析提供了一种新方法。
%K petri网状态转换图
%K 重复序列的依赖性
%K petri网语言表达式
%K 算法
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=091133&flag=1