共查询到20条相似文献，搜索用时 31 毫秒
1.
提出Petri网的两类块组合并网,讨论了保持网的结构性质的条件,这些结果对Petri网的合成和分析是非常有用的. 相似文献
2.
同步与共享合成操作中子网的求解方法 总被引：1，自引：0，他引：1
Petri网同步合成与共享合成是复杂系统分析中两种重要的方法。为了适应更为复杂的系统分析需要，本文将同步合成与共享合成拓展为多个Petri网之间的操作，证明了任给一个结构复杂的网系统均可由一组结构简单的子网合成，并分别给出了合成操作中子网的求解方法。 相似文献
3.
4.
定义了自由选择网ＦＣ网（ｆｒｅｅｃｈｏｉｃｅｎｅｔｓ）的同步合成运算,给出了ＦＣ网同步合成网为ＦＣ网或ＡＣ网（ａｓｙｍｍｅｔｒｉｃｃｈｏｉｃｅｎｅｔ）的两个充分必要条件．这些结果可为ＦＣ网系统合成的静态和动态特性考察提供有效途径． 相似文献
5.
给出了对偶Ｐｅｔｒｉ网的加法,笛卡尔积,并运算及有关性质,得到了对偶Ｐｅｔｒｉ网运算具有结构性质的条件 相似文献
6.
李孝忠 《陕西师范大学学报(自然科学版)》2004,(Z1)
Petri网具有动态、并发和图形直观性等良好特性,特别适合于描述异步并发的系统.Petri网运算是由小系统的性质获得大系统性质的一种有效的分析方法.提出了Petri网的块组合积运算,讨论了保持网的结构性质的条件,为Petri网的分析与综合提供了新途径. 相似文献
7.
一个多媒体数据库系统的时间同步控制机制 总被引：1，自引：1，他引：0
对象合成Ｐｅｔｒｉ网可方便地描述多媒体对象的时间同步关系,在讨论多媒体数据加的时间同步问题后,给出可用于多媒体数据中对象同步关系的描述与控制的一个具体的实现方案。它涉及三方面内容：（１）如何对象合成Ｐｅｔｒｉ网描述多媒体库中对象间的时间同步关系;（２）给出存话合成对象Ｐｅｔｒｉ网的数据结构;（３）给出按Ｐｅｔｒｉ网所描述的同步关系演示及多媒体对象的展示算法。 相似文献
8.
给出了自由选择网 FC(free choice nets)的共享合成运算 ,并研究了共享合成网的性质 ,这些结果可为 FC网系统合成的静态和动态特性考察提供有力手段 相似文献
9.
Petri网运算和组合是合成复杂系统的有效方法,由此提出了Petri网的两类广义组合并网,讨论了保持网的可重复性,相容性,有界性和守恒性的条件,为Petri网对于大系统的分析提供了新途径。 相似文献
10.
Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述. 相似文献
11.
12.
Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。 相似文献
13.
Petri网作为一种描述系统行为的形式化工具，尤其擅长描述多媒体的同步问题，由此出现了诸如OCPN等多媒体同步模型，然而，这些模型仅能描述多媒体之间的合成同步，对于解决分布式环境下的多媒体同步问题却显得不足。本文提出了一个分布式交互多媒体同步模型，该模型可以较好的解决分布式多媒体系统的交互与同步问题。 相似文献
14.
Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的合成。本文以楼宇门禁系统为例,分析了门禁系统的各种情况及该情景下的Petri-网模型,最后根据各个Petri子网的特点,采用了共享P-型合成方法,合成为一个系统的整体建模图。 相似文献
15.
多媒体同步是多媒体应用的一个重要需求。本文提出了一种基于时间Ｐｅｔｒｉ网的多媒体同步模型,以对具有时间约束关系的多媒体合成进行抽象和形式化描述,并给出了处理异步用户交互的算法 相似文献
16.
Petri 同归约问题是当今 petri 网研究领域的一个重要课题,本文从 Petri 网静态结构的角度出发,给出了三个层次的 Petri 网归约方法,并用代数的方法严格地证明了这些归约方法保持网的两大重要性质:活性和有界性。它们为 Petri 网的归约和分析的复杂性之间提供了一个灵活折衷的手段,能够对一个庞大、复杂的 Petri网进行不同程度的归约,以适应不同的需要。文中所给出的归约算法是基于网的关联矩阵的,具有高效,便于实现的特点。此外,本文还就多弧 Petri 网的归约问题和 Petri 网的分解问题作了简要讨论。最后还给出了哲学家用餐问题的 Petri 网新模型并对之进行归约。 相似文献
17.
郑凯 《漳州师范学院学报》2011,24(1)
本文对Petri网的基础知识作了相关的介绍,以及对Petri网的结构性质进行一定的介绍与分析,其中主要介绍的结构性质是可重复向量和死锁,并适当的通过举例来说明问题.根据Petri网的相关结构性质,初步得出了T-不变量、可重复向量、死锁的关系,给出了T-不变量和可重复向量的求解算法,以及对Petri网进行结构变化的基础上,给出相应算法去求解一个网的死锁.最后还给出了利用真值表求解死锁的方法. 相似文献
18.
提出了Ｐｅｔｒｉ网的两种新的广义笛积运算，讨论了它们的代数性质，这些结果可以作为受控Ｐｅｔｒｉ网的分析或合成的依据。 相似文献
19.
20.
赵义军 《山东科技大学学报(自然科学版)》1999,(2)
给出了自主连续Ｐｅｔｒｉ网（ＡＣＰＮ）的动态性质及结构性质的定义,并对其结构性质给出了相应的判定方法,从而为对ＡＣＰＮ的性质分析提供了必要的理论依据 相似文献