手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

Petri网表征语言和可达性分析

王廷刚

  Petri网的可达性是Petri网的重要性质,其判定问题在Petri网理论中是一个重要课题。本文对Petri网的可达标识集做了一些分析,主要内容包括以下几个方面: 1)提出了Petri网的表征语言的概念,证明了任意Petri网都具有一个上下文有关语言为其表征语言,并找出了几种具有正规的表征语言的Petri网。 定义了标识向字符串的映射函数,从而将Petri网的标识映射为由库所组成的串,将Petri网的可达标识集映射为这些串的集合,称这个集合为网系统的表征语言,显然一个网系统的表征语言不是唯一的。表征语言描述了网系统的可达标识集,即网系统的状态空间。 有界网系统和公平网系统都存在正规的表征语言;如果一个网系统只有一个本原可重复向量,那么它也具有正规的表征语言。 2)给出了表征语言为正规语言的网系统的可达性判定方法。 本文提出了等价的表征语言的概念。对正规表达式的运算规则做了扩充,使得任意的正规表达式都可以转化为另一个新的表达式,新的表达式中不含括号运算且它的各个加项都不含嵌套的闭包运算,新的表达式生成的语言和原来的表达式生成的语言能够表征同一个网系统。最后给出了对具有正规的表征语言的Petri网进行可达性判定的方法。 3)给出了Petri网死标识可达性判定的方法。 如果一个Petri网∑1具有死标识,则存在一组Petri网,这些Petri网和∑1具有相同的库所集且初始标识为空标识,这些网的可达标识集的并集DM等于∑1的基网的所有死标识的集合,通过判定∑1的初始标识是否属于DM就可判定∑1是否能够到达死标识。……   
[关键词]:Petri网;可达性;表征语言;死标识可达性
[文献类型]:硕士论文
[文献出处]:山东科技大学2010年
App内打开