排序方式: 共有72条查询结果,搜索用时 15 毫秒
1.
Pumping引理的Petri网描述—Petri网语言属型的一组判定条件 总被引:22,自引:0,他引:22
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件,这样,就可以从网的结构直接判断其语言属型。 相似文献
2.
Petri网弱公平性的判断 总被引:9,自引:2,他引:7
本文提出了弱公平网的概念,并给出了判断一个Petri网是否是弱公平网的一组充分必要条件。 相似文献
3.
下推自动机的状态转换图与下推自动机的化简 总被引:5,自引:2,他引:5
参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。 相似文献
4.
5.
本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,并给出了可交换上下文无关语言的Pumping引理。 相似文献
6.
本文提出了一种新的求解网的S-不变量的方法。这种方法的基本思路是把一个网看作一个有向图,通过寻找网N的S-封闭基本有向贯通路簇或S-封闭基本有向回路簇,可以得到封闭重数方程组,求此封闭重数方程组的解就得到此网N的所有极小S-不变量。 相似文献
7.
基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的建模 总被引:3,自引:0,他引:3
该文定义了一种扩展的时间Petri网———带抑止弧的时间Petri网,这类扩展的时间Petri网可以用作网络协议描述的工具。作为一个例子,笔者在对IEEE802.2LLC3型协议做简单分析的基础上,给出了一个基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的形式描述。 相似文献
8.
无界Petri网的进程表达式 总被引:14,自引:2,他引:14
借助进程网系统的概念,首先证明了无界Petri网∑的进程与其进程网系统∑p,的语言之间存在一一映射关系,将求取∑的进程表达式的问题转化成求取∑p,的语言问题.由于∑p,的结构一般比较复杂,直接求取其语言仍然比较困难.通过定义库所的指标函数,将结构复杂的∑p,分解成结构简单的子网系统,引入了语言的同步交运算,给出了利用这些子网系统求取结构复杂的∑p,语言的方法,从而得到了求取无界Petri网∑的进程表达式的算法. 相似文献
9.
Petri网的进程表达式与语言表达式 总被引:5,自引:3,他引:5
Petri网的语言和进程都是网系统行为的一种有效的描述手段,对应的进程表达式和语言表达式给出了系统全体行为的约束描述.本文首先对Petrl网的进程表达式进行了类型的划分并给出了相应的代数判定依据,随后证明了Petri网的进程表达式与语言表达式的类型一致性,由此给出了由进程表达式求取语言表达式的算法,为基于Petri网语言(尤其是无界Petri网)分析实际的物理系统提供了更为有效的途径. 相似文献
10.
Petri网替换运算 总被引:3,自引:0,他引:3
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petfi网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的。 相似文献