共查询到16条相似文献,搜索用时 62 毫秒
1.
2.
3.
公平网的一组直接判断条件 总被引:18,自引:4,他引:14
本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避免了原网删去结构无界的位置后,可能使某些变迁节变为孤立节点的情况. 相似文献
4.
自动制造系统Petri网的公平活性控制策略 总被引:2,自引:0,他引:2
基于Petri网的不变式理论,针对典型的自动制造系统,提出了Petri模型强制公平性
和活性的方法.首先,基于网论T-不变式的概念,把系统的网模型设计为一个公平网.此后,利
用P-不变式把一个公平网设计为一个活的且公平网.同时,提出了非冗余严格极小信标的概念,
大大简化了系统的分析与设计.一般说来,非冗余严格极小信标是系统严格极小信标一个小的
子集,尤其对于复杂系统的网模型.研究结果表明,只要使非冗余的严格极小信标受控,则系统
所有的严格极小信标就不会被清空.文中举例说明了这些控制方法的应用.研究结果适用于一
大类柔性制造系统,具有相当的普遍性.这种方法对于自动制造系统的调度设计也具有一定意义
和价值. 相似文献
5.
公平性(fairness)是Petri网的基本性质。在该文中利用网的关联矩阵求解出一般网中的基本可重复向量组,在其中找出该网的极小支集,并构造出该极小支集构的外延子网,然后利用文献[1]中给出的方式求解结构公平网的极小标识,得到了一个多项式时间算法。 相似文献
6.
7.
基于格的相对零化子概念提出了[BL-]代数的弱相对零化子概念。讨论了弱相对零化子的基本性质,证明了弱相对零化子是[BL-]代数的滤子,给出了弱相对零化子的表示定理。进一步提出了弱零化子概念,给出了零化子等价于弱零化子的充要条件,刻画了[BL-]代数全体滤子集的结构。结论为今后研究[BL-]代数的弱广义相对零化子提供了基础。 相似文献
8.
弱硬实时系统是实时系统中的一个重要研究领域.经典弱硬实时系统以任务流中任务满足或错过的个数来约束系统性能,存在着无法准确表达系统实时特性的不足,以及弱硬实时的可靠性无法证明的缺陷.通过提出弹性截止期的概念,定义基于path RTL的弱硬实时系统,有效解决了经典弱硬实时系统可靠性无法证明的难题;实现了弱硬实时系统的约束由时间特性来表达的目标;对于新兴出现的弱硬实时应用提供了完整的解决方案;同时也对经典弱硬实时系统提出了规约算法,以充分利用经典弱硬实时系统在约束规范、调度算法等方面已有研究成果.通过比较,path RTL弱硬实时系统在系统完整性、系统可靠性和应用领域等方面,比经典弱硬实时系统具有优势. 相似文献
9.
讨论有限自动机的分解有助于分析弱可逆有限自动机的结构和求解弱逆.首先证明了弱同构的弱可逆有限自动机具有相似的分解形式;接着考虑了一类特殊的弱可逆线性有限自动机的分解,从状态输出权的角度刻画了该分解存在的一个充分条件;然后把这种分解形式推广到了一般的弱可逆线性有限自动机上,即:延迟τ步弱可逆线性有限自动机分解成延迟0步弱可逆有限自动机和一种特殊的有限自动机MD,并得到了分解存在的充要条件;最后,用输出序列的代数性质来刻画其中的充分条件,并把它转化成了一个矩阵的秩的计算.这种分解形式并不局限于n元弱可逆有限自动机,而且分解条件也比较简单,仅与输出序列的性质有关. 相似文献
10.
11.
12.
13.
Petri网的进程文法和进程语言 总被引:3,自引:0,他引:3
一、引言 Petri网进程是分析网系统运行行为最有力的工具。Petri网进程既考虑了网系统的状态变化又准确记录了引起这些变化的条件,清晰地反映事件(变迁)之间的并发和顺序关系,因此,Petri网进程比其它分析方法更便于对并发现象以及系统中同并发有关的一些性质进行分析。然而,Petri网的一个进程只能反映Petri网的一种可能的运行情况。一个Petri网往往有许多个进程,不可能一一列举,这就为进程分析带来了困难。文[1,2]中,提出了利用进程表达式描述Petri网的所有进程的方法,一个有界Petri网的进程表达式是该网的基本子进程集(有限集)为字母表的正规表达式,一个无界公平Petri网在可重复进程段行为等价的条件下也是一个正规表达式。对 相似文献
14.
共享路径合成网的活性和公平性分析 总被引:1,自引:0,他引:1
本文提出了Petri网的共享路径合成网的概念,研究了合成网对子网的活性和公平性继承关系,最后给出一种实现共享路径合成网活性和公平性的控制装置,这些结果为网系统合成提供了有力手段,并对发系统的相关性质分析有重要的应用价值。 相似文献
15.
基于时间Petri网的工作流建模 总被引:4,自引:0,他引:4
随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。 相似文献
16.
利用Muiti-Agent,π-演算和Petri网给出了动态联盟中的同步协同设计系统形式化模型.该模型利用π-演算的操作语义表现系统的动态行为;根据Petri网理论表现适应动态联盟中同步协同设计的多层次、多资源、无死锁,且具有一定公平性的发言权控制. 相似文献