首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
T-组合Petri网的活性和公平性分析   总被引:1,自引:0,他引:1  
同步合成是研究复杂Petri网系统性质的有效途径.文中通过引入可引发变迁序偶的概念,研究了T-组合(同步合成)Petri网对子网的活性和公平性继承关系,给出了一组T-组合Petri网活或公平的充要条件和充分条件.这些结果对网组合同步设计具有重要的指导意义  相似文献   

2.
基于库所指标分解的Petri网活性与公平性分析   总被引:5,自引:0,他引:5  
Petri网的分解技术是用于复杂网系统分析的一种有效手段.基于库所指标的Petri网分解方法,将一个复杂的网系统分解成结构简单的子网,分解后的子网保持原网系统的语言行为不变当且仅当具有公共变迁的子网的可达图关于公共变迁是同构的.若分解过程中保持系统的语言行为不变,则在Petri网的活性和公平性方面有着对应关系.本文基于分解给出了Petri网活性判定的充要条件和公平性判定的定理,对基于分解的复杂系统的Petri网分析方法提供了更为有效的理论和可行的技术.  相似文献   

3.
T—组合Petri网络活性和公平性分析   总被引:1,自引:0,他引:1  
同步合成是研究复杂Petri网络系统性质的有效途径。文中通过引入可引发变迁序偶的概念,研究了T-组合(同步合成)Petri网对子网的活性和公平性继承关系,给出了一组T-组合Petri网活或公平的充要条件和充分条件。这些结果对网组合同步设计具有重要的指导意义。  相似文献   

4.
共享路径合成网的活性和公平性分析   总被引:1,自引:0,他引:1  
本文提出了Petri网的共享路径合成网的概念,研究了合成网对子网的活性和公平性继承关系,最后给出一种实现共享路径合成网活性和公平性的控制装置,这些结果为网系统合成提供了有力手段,并对发系统的相关性质分析有重要的应用价值。  相似文献   

5.
Petri网的局部公平性   总被引:3,自引:0,他引:3  
李志武 《计算机学报》1998,21(Z1):41-45
本文提出了局部公平性和局部公平网的概念及其与其它公平网的关系,给出了局部公平网的判断条件.  相似文献   

6.
在Petri网中,公平性概念的引入是为了讨论网系统中两个变迁发生之间的相互关系。这种关系可以很好地反映出模拟系统的各个事件在资源竞争中的有无饥饿性问题。文中基于弱公平性和公平性的定义与联系,证明了对于有界Petri网,满足弱公平性就满足公平性;同时证明了在两类无界Petri网中,可由弱公平性推导出公平性。并进一步证明其他类型的无界Petri网是不满足公平性的,即无法从弱公平性直接推导出公平性。  相似文献   

7.
S-组合Petri网的活性分析与实现   总被引:19,自引:1,他引:19  
设Σ1=(N1,M1),Σ2=(N2,M2)是两个Petri网,且不含有冻结标志,Ni=(Si,Ti;Fi),i=1,2,T1∩T2=Φ,S1∩S2≠Φ,本文定义了Σ1,Σ2的S-组合Petri网Σs,通过引入Petri网互逆位置序偶的概念,深入研究了Σs的活性,给出了Σs有界活的几个判定条件。若Σ1,Σ2是两个活的Petri网,最后提出了一种实现S-组合Petri网活性的控制装置。  相似文献   

8.
利用关联矩阵的秩判断Petri网的公平性   总被引:3,自引:0,他引:3       下载免费PDF全文
本文对有界Petri网的公平性与分组公平性以及无界Petri网的公平性分别得到了利用关联矩阵的秩进行判断的一组充要条件,这些条件使用起来是非常方便的.  相似文献   

9.
Petri网共享T型子网合成公平性分析   总被引:1,自引:0,他引:1  
夏传良 《计算机科学》2007,34(8):271-274
共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径.本文研究了共享T-型子网合成对参与合成的各网系统的公平性的继承关系,给出了合成网保持公平性的充分条件.随后给出的有关制造系统设计的举例,说明了该合成方法的有效性.本文的结果可为Petri网系统合成性质的考察提供有效途径.  相似文献   

10.
阐述了分布式系统中的死锁问题,采用Petri网对分布式系统中的死锁进行分析,给出了几种解决死锁的模型,并分析了这些模型的优缺点,指出了分析和解决死锁的一般方法。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号