共查询到18条相似文献,搜索用时 125 毫秒
1.
T—组合Petri网络活性和公平性分析 总被引:1,自引:0,他引:1
同步合成是研究复杂Petri网络系统性质的有效途径。文中通过引入可引发变迁序偶的概念,研究了T-组合(同步合成)Petri网对子网的活性和公平性继承关系,给出了一组T-组合Petri网活或公平的充要条件和充分条件。这些结果对网组合同步设计具有重要的指导意义。 相似文献
2.
ST—组合Petri网的结构性质分析 总被引:2,自引:0,他引:2
本文提出ST-组合Petri网的概念,讨论了ST-组合Petri网对子网的结构性质保持问题,深入研究了ST-组合Petri网的结构活性、结构有界性,守恒性,可重复性,相容性,公平性。本文给出的网组合可作为系统合成与分析的有效方法。 相似文献
3.
扩展时间流Petri网多媒体同步模型 总被引:5,自引:0,他引:5
多媒体同步的一个主要问题是多媒体同步时间要求的描述与建模。文中基于时间流Petri网模型(TSPN),通过分析TSPN模型的不足之处,提出了一种新的多媒体同步模型--扩展时间流Petri网模型(STSPN),STSPN不但可以完全、准确地描述媒体流内和流间的时间行为,而且通过引入容许阻塞时间、问题算法等对TSPN进行扩展,可以有铲地克服网络随机延迟、阻塞和丢包等因素的不良影响,提高了模型的建模能力 相似文献
4.
使用Petri网T-不变量求解子句的逻辑推论 总被引:4,自引:0,他引:4
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论.基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决于句推论问题.另外,本文还显示了向前推论和向后推论在子句Petri网模型中的应用. 相似文献
5.
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网活性的控制装置。 相似文献
6.
本文提出了Petri网的两类块组合加网的块笛加网,讨论了保持网的代数性质的条件,这些结果对Petri网的合成和分析是非常有用的。 相似文献
7.
使用Petri网T—不变量求解子句的逻辑推论 总被引:2,自引:0,他引:2
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论,基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决子句推论问题。 相似文献
8.
加权T—图的保性变换 总被引:1,自引:0,他引:1
Petri网的保性化简是Petri网分析的一种重要途径。Marata等对活的发安全的标识T-图提出了系统是化简运算体系。蒋昌俊对加权T-图提出了若干种化简运算,这些化简运算能够保持网的结构有界性、守恒性、可重复性和相容性,但未涉及活性和公平性的保持问题,本文提出对加权T-图的另一类保性化简,这些化简运算可以 保持网的结构活性和公平性。 相似文献
9.
一类资源组合问题的扩展参数Petri网建模与优化研究 总被引:5,自引:0,他引:5
现代企业重组及CIMS资源调度问题是一类典型资源组合优化问题。文中针对这类资源组合优化问题。提出一种新的建模方法--扩展参数Petri网。该网通过着色Petri网和时间Petri网中引入扩展参数使之对任务执行过程具有很强的模型描述与性能评价能力。另外,在该网中扩展的控制决策层Petri网模型不仅实现了对资源组合方案选择与评价并且可以方便地与不同的优化策略与优化算法进行集成,使问题的求解更加灵活、高 相似文献
10.
加权T-图的保性变换 总被引:1,自引:1,他引:1
Petri网的保性化简是Petri例分析的一种重要途径.Marata等对活的和安全的标识T-图提出了系统的化简运算体系.蒋昌俊对加权T-图提出了若干种化简运算,这些化商运算能够保持网的结构有界性、守恒性、可重复性和相容性,但未涉及活性和公平性的保持问题.本文提出对加权T-图的另一类保性化简,这些化简运算可以保持网的结构活性和公平性. 相似文献
11.
共享路径合成网的活性和公平性分析 总被引:1,自引:0,他引:1
本文提出了Petri网的共享路径合成网的概念,研究了合成网对子网的活性和公平性继承关系,最后给出一种实现共享路径合成网活性和公平性的控制装置,这些结果为网系统合成提供了有力手段,并对发系统的相关性质分析有重要的应用价值。 相似文献
12.
首先分析了一类结构简单的Petri网--S-网的语言性质,得到了它们的行为描述方法.拓展了Petri网同步合成的概念,证明了给定一个结构复杂的Petri网都可通过一组S-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法. 相似文献
13.
The incidence matrices—from places to transitions and vice versa—of an acyclic Petri net can obtain a block-triangular structure by reordering their rows and columns. This allows the efficient solution of some reachability problems for acyclic Petri nets. This result is further used in supervisory control of Petri nets; supervisors for Petri nets with uncontrollable transitions are constructed by extending the method of Yamalidou et al. (1996) to Petri nets where transitions can be executed simultaneously. A large class of Petri nets with uncontrollable transitions is given for which the maximally permissive supervisor can be realized by a Petri net. The original specification is algorithmically transformed—by using the results for acyclic Petri nets—into a new specification to take the presence of uncontrollable transitions into account. The supervisor is obtained by simple matrix multiplications and no linear integer programs need to be solved. Furthermore, a class of Petri nets is given for which the supervisor can be realized by extending the enabling rule with OR-logic. 相似文献
14.
15.
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems 总被引:1,自引:0,他引:1
Anisimov N. A. Golenkov E. A. Kharitonov D. I. 《Programming and Computer Software》2001,27(6):309-319
In the paper, a formal model based on Petri nets is proposed in the context of a compositional approach to the development and analysis of complex concurrent and distributed systems. Mutlilabels of Petri nets are introduced allowing labeling a transition not only with a single symbol, but also with a multiset of symbols. Operations on multilabeled Petri nets—parallel composition and restriction—are defined. A definition of a Petri net entity is given based on the notion of multilabels. A Petri net entity is a Petri net with a set of multilabels, where each multilabel is regarded as an access point of the entity. The operation of entity composition is introduced. Equivalence of entities is defined based on bisimulation equivalence of Petri nets. It is shown that the equivalence relation is congruent with respect to entity composition. It is also demonstrated that the composition operation is commutative and associative. 相似文献
16.
Petri网的活性反映了实际系统的元死锁性.本文讨论了一类结构简单的Petri网-T-网的活性问题,给出了各类T-网的活性判定定理并给出了判定算法.算法主要计算工作是变迁的前序库所集和后继变迁集以及回路的判断,这三个过程实际上是一个树的搜索过程,因此算法易于实现,判定效率也大大提高. 相似文献
17.
18.
Petri网的组合积网及性能分析 总被引:2,自引:0,他引:2
李孝忠 《小型微型计算机系统》2002,23(1):98-100
Petri网是一种系统描述和分析的工具 .Petri网组合是由小系统的性质获得大系统性质的一种有效的分析方法 .本文提出了 Petri网的组合积运算 ,包括 Petri网的 型组合积运算和 型组合积运算、Petri网的并积运算 ,讨论了保持网的结构性质的条件 ,为复杂大系统的分析提供了新途径 相似文献