共查询到15条相似文献,搜索用时 78 毫秒
1.
提出Petri网的两类块组合并网,讨论了保持网的结构性质的条件,这些结果对Petri网的合成和分析是非常有用的. 相似文献
2.
同步与共享合成操作中子网的求解方法 总被引:1,自引:0,他引:1
Petri网同步合成与共享合成是复杂系统分析中两种重要的方法。为了适应更为复杂的系统分析需要,本文将同步合成与共享合成拓展为多个Petri网之间的操作,证明了任给一个结构复杂的网系统均可由一组结构简单的子网合成,并分别给出了合成操作中子网的求解方法。 相似文献
3.
4.
定义了自由选择网FC网(freechoicenets)的同步合成运算,给出了FC网同步合成网为FC网或AC网(asymmetricchoicenet)的两个充分必要条件.这些结果可为FC网系统合成的静态和动态特性考察提供有效途径. 相似文献
5.
给出了对偶Petri网的加法,笛卡尔积,并运算及有关性质,得到了对偶Petri网运算具有结构性质的条件 相似文献
6.
李孝忠 《陕西师范大学学报(自然科学版)》2004,(Z1)
Petri网具有动态、并发和图形直观性等良好特性,特别适合于描述异步并发的系统.Petri网运算是由小系统的性质获得大系统性质的一种有效的分析方法.提出了Petri网的块组合积运算,讨论了保持网的结构性质的条件,为Petri网的分析与综合提供了新途径. 相似文献
7.
一个多媒体数据库系统的时间同步控制机制 总被引:1,自引:1,他引:0
对象合成Petri网可方便地描述多媒体对象的时间同步关系,在讨论多媒体数据加的时间同步问题后,给出可用于多媒体数据中对象同步关系的描述与控制的一个具体的实现方案。它涉及三方面内容:(1)如何对象合成Petri网描述多媒体库中对象间的时间同步关系;(2)给出存话合成对象Petri网的数据结构;(3)给出按Petri网所描述的同步关系演示及多媒体对象的展示算法。 相似文献
8.
给出了自由选择网 FC(free choice nets)的共享合成运算 ,并研究了共享合成网的性质 ,这些结果可为 FC网系统合成的静态和动态特性考察提供有力手段 相似文献
9.
Petri网运算和组合是合成复杂系统的有效方法,由此提出了Petri网的两类广义组合并网,讨论了保持网的可重复性,相容性,有界性和守恒性的条件,为Petri网对于大系统的分析提供了新途径。 相似文献
10.
Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述. 相似文献
11.
12.
活性(Liveness)是Petri网的基本性质.从网的关联矩阵以及所定义变迁发生序列的结构,求解结构活网的极小标识,得到了一个多项式时间算法. 相似文献
13.
14.
无环Petri网的结构性质赵正义宋文忠(东南大学自动化研究所,南京210018)无环Petri网是一类特殊的Petri网,在研究离散事件动态系统(DEDS)的控制问题时经常会遇到,如文[1]中的结构无竞争无环Petri网,文[2]中的广义树结构均属... 相似文献
15.
基于Petri网理论,建立了基本拉动系统的Petri网模型;以基本拉动系统为对象,把其Petri模型转变为强连接事件图,对其性能进行了分析,从而寻求了一种利用所建Petri网模型对拉动系统性能进行分析的方法.为了验证分析方法的正确性,进行了案例仿真分析,证明了分析方法的正确性 相似文献