共查询到17条相似文献,搜索用时 57 毫秒
1.
Petri网的对偶运算及性质 总被引:1,自引:0,他引:1
李孝忠 《陕西师范大学学报(自然科学版)》2001,(Z1)
给出了对偶Petri网的加法、笛卡尔积、并运算及有关性质 ,得到了对偶Petri网运算的一些结果 相似文献
2.
本文基于Petri网的矩阵表示,通过矩阵的运算给出了网的S-补和T-补的矩阵形式公式。同时给出对逆网、对偶网的S-补和T-补的求解方法。 相似文献
3.
4.
提出了Petri网的两种新的广义笛积运算,讨论了它们的代数性质,这些结果可以作为受控Petri网的分析或合成的依据。 相似文献
5.
本文基于Petri网的矩阵表示,通过矩阵的运算给出了网的S-补和T-补的矩阵形式公式。同时给出对逆网、对偶网的S-补和T-补的求解方法。 相似文献
6.
无环Petri网的结构性质赵正义宋文忠(东南大学自动化研究所,南京210018)无环Petri网是一类特殊的Petri网,在研究离散事件动态系统(DEDS)的控制问题时经常会遇到,如文[1]中的结构无竞争无环Petri网,文[2]中的广义树结构均属... 相似文献
7.
张广泉 《重庆师范学院学报》1998,15(4):27-30
基于文(2,3),引入反应式系统形式化描述的另一种典型模型-Petri网,给出一些重要性质的Petri网描述,建立了它与文(2)的抽象计算模型之间的映射关系,最后指出Petri网的一些不足之处。 相似文献
8.
基于Petri网的超媒体形式化模型 总被引:1,自引:1,他引:0
张苓 《武汉大学学报(自然科学版)》1999,45(1):45-48
针对演播类超媒体提出一处基于Petri网的形式化模型OOPN,它由一个扩展Petri网、若干对象以及Petri网与对象之间的映射表示,具有刻画超媒体主要性质的能力。着重给出了OOPN模型的形式化定义以及它对超媒体逻辑结构、时序结构和语义结构的描述。 相似文献
9.
介绍了TMN(电信管理网)可信性建模的一种新的方法———Petri网。首先简要介绍了Petri网的基本概念和Petri网的特性分析,然后描述了用Petri网进行建模的一般方法并举例说明了它在TMN可信性建模中的应用。最后还介绍了一种自动生成可信性Petri网模型的方法。 相似文献
10.
给出了一种变速连续Petri网的定义及主要性质,详细阐述了其运行算法。算法中主要考虑了对冲突的检测及处理。给出了一个示例,并通过仿真得到了其运行情况。 相似文献
11.
李孝忠 《陕西师范大学学报(自然科学版)》2004,(Z1)
Petri网具有动态、并发和图形直观性等良好特性,特别适合于描述异步并发的系统.Petri网运算是由小系统的性质获得大系统性质的一种有效的分析方法.提出了Petri网的块组合积运算,讨论了保持网的结构性质的条件,为Petri网的分析与综合提供了新途径. 相似文献
12.
Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集,以各个基本进程段集的输入和输出库所集的并集为新的库所集,以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念,讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。 相似文献
13.
文章介绍RS485或RS232串行通讯与现场总线LON网之间的网桥设计,在设计中采用8031单片机实现网桥与PC控制主机之间的接口,采用3150神经元芯片实现网桥与LON网之间的接口.网桥设计的关键是使用双端口RAM完成8031与3150两个CPU之间的数据通信,LON/485(232)网桥在Lonworks现场总线控制系统中具有广泛的应用范围,可大大减少系统的设备成本. 相似文献
14.
提出Petri网的两类块组合并网,讨论了保持网的结构性质的条件,这些结果对Petri网的合成和分析是非常有用的. 相似文献
15.
Petri网运算和组合是合成复杂系统的有效方法,由此提出了Petri网的两类广义组合并网,讨论了保持网的可重复性,相容性,有界性和守恒性的条件,为Petri网对于大系统的分析提供了新途径。 相似文献
16.
本文推广了文献中的Mazur定理,在桶空间中得到了局部凸空间中弱收敛网的几个性质. 相似文献
17.
将关系网看作一个抽象数据类型,给出了其代数规范说明.这个关系网是它的代数规范说明的一个代数,代数规范说明的任一代数是一个关系网;讨论了关系网在同态下的性质,以及代数规范说明的代数与关系网模式和位置/变迁网的关系。 相似文献