排序方式: 共有72条查询结果,搜索用时 15 毫秒
1.
Petri网是一个功能强大的建模工具,然而原型Petri网的模拟能力有限,而对原型Petri网的扩充可以提高其模拟能力.时延Petri网是一种重要的含时间因素的Petri网,已广泛应用于并发系统的建模,所以对时延Petri网的模拟能力的研究就非常必要.本文首先说明时延Petri网能够满足零检验理论,然后通过模拟随机存取机来证明时延Petri网具有与图灵机相等的模拟能力.而后用时延Petri网实现对计算机经典问题的建模. 相似文献
2.
为设计出能够验证并行排序网络正确性的有效工具,根据[0,1]原理和布尔函数的特点和性质,提出一种布尔表达式的化简算法,并根据此算法设计出验证工具.对[0,1]原理和布尔函数的特点和性质进行了讨论,指出有利于化简操作的性质.设计出的工具能够根据并行排序网络的参数显示网络图形、自动生成布尔表达式并实现化简验证,工具的输出有利于对排序网络的分析,也可以用于辅助排序网络的设计和优化.实验结果表明了该工具的有效性. 相似文献
3.
无界Petri网的进程表达式 总被引:14,自引:2,他引:14
借助进程网系统的概念,首先证明了无界Petri网∑的进程与其进程网系统∑p,的语言之间存在一一映射关系,将求取∑的进程表达式的问题转化成求取∑p,的语言问题.由于∑p,的结构一般比较复杂,直接求取其语言仍然比较困难.通过定义库所的指标函数,将结构复杂的∑p,分解成结构简单的子网系统,引入了语言的同步交运算,给出了利用这些子网系统求取结构复杂的∑p,语言的方法,从而得到了求取无界Petri网∑的进程表达式的算法. 相似文献
4.
基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的建模 总被引:3,自引:0,他引:3
该文定义了一种扩展的时间Petri网———带抑止弧的时间Petri网,这类扩展的时间Petri网可以用作网络协议描述的工具。作为一个例子,笔者在对IEEE802.2LLC3型协议做简单分析的基础上,给出了一个基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的形式描述。 相似文献
5.
提出了推导可交换上下文无关语言及其文法,证明了正规语言类和有界上下文无关语言类都是推导可交换上下文无关语言类的子集,而推导可交换上下文无关语言类是上下文无关语言类的一个子集;定义了该类语言的α闭包等有关运算,给出了推导可交换上下文无关语言表达式,证明了推导可交换上下文无关文法、推导可交换上下文无关语言表达式之间的等价转换. 相似文献
6.
Pumping引理的Petri网描述—Petri网语言属型的一组判定条件 总被引:22,自引:0,他引:22
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件,这样,就可以从网的结构直接判断其语言属型。 相似文献
7.
下推自动机的状态转换图与下推自动机的化简 总被引:5,自引:2,他引:5
参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。 相似文献
8.
标识T-网中同步距离的计算 总被引:1,自引:0,他引:1
同步距离是刻画事件之间同步关系的一个重要的定量分析手段.由于同步距离的求解不仅和网的结构特征有关系,而且和网的初始标识也存在关系,因此到目前为止还没有一个很简洁易行的算法来求解一般Petri网的同步距离.然而,一些特殊的Petri网子类,如标识T-图、标识S-图的同步距离的计算已经有了较简洁的求解方法.对另一个Petri网子类--标识T-网给出了其同步距离的计算方法.标识T-网也可以直接通过网的结构和初始标识分布情况来得到变迁之间的同步距离,不需要考察网系统的运行,这就使得同步距离的求解简单易行.文中给出了相应的求解定理. 相似文献
9.
本文提出了一种新的求解网的S-不变量的方法。这种方法的基本思路是把一个网看作一个有向图,通过寻找网N的S-封闭基本有向贯通路簇或S-封闭基本有向回路簇,可以得到封闭重数方程组,求此封闭重数方程组的解就得到此网N的所有极小S-不变量。 相似文献
10.
Petri网的进程表达式与语言表达式 总被引:5,自引:3,他引:5
Petri网的语言和进程都是网系统行为的一种有效的描述手段,对应的进程表达式和语言表达式给出了系统全体行为的约束描述.本文首先对Petrl网的进程表达式进行了类型的划分并给出了相应的代数判定依据,随后证明了Petri网的进程表达式与语言表达式的类型一致性,由此给出了由进程表达式求取语言表达式的算法,为基于Petri网语言(尤其是无界Petri网)分析实际的物理系统提供了更为有效的途径. 相似文献