共查询到20条相似文献，搜索用时 54 毫秒
1.
Petri网的对偶运算及性质 总被引：1，自引：0，他引：1
李孝忠 《陕西师范大学学报(自然科学版)》2001,(Z1)
给出了对偶Petri网的加法、笛卡尔积、并运算及有关性质 ,得到了对偶Petri网运算的一些结果 相似文献
2.
给出了对偶Ｐｅｔｒｉ网的加法,笛卡尔积,并运算及有关性质,得到了对偶Ｐｅｔｒｉ网运算具有结构性质的条件 相似文献
3.
4.
无环Ｐｅｔｒｉ网的结构性质赵正义宋文忠（东南大学自动化研究所，南京２１００１８）无环Ｐｅｔｒｉ网是一类特殊的Ｐｅｔｒｉ网，在研究离散事件动态系统（ＤＥＤＳ）的控制问题时经常会遇到，如文［１］中的结构无竞争无环Ｐｅｔｒｉ网，文［２］中的广义树结构均属... 相似文献
5.
张学哲 《湖北民族学院学报(自然科学版)》1997,15(6):51-53
给出了模糊Petri网的形式化定义及其变迁规则，并以模糊Petri网的控制矩阵与关联矩阵为工具，讨论了模糊Petri网的性的必要性条件。 相似文献
6.
给出了一种变速连续Ｐｅｔｒｉ网的定义及主要性质，详细阐述了其运行算法。算法中主要考虑了对冲突的检测及处理。给出了一个示例，并通过仿真得到了其运行情况。 相似文献
7.
同步合成网的结构性质分析 总被引：6，自引：0，他引：6
研究了同步合成网的结构性质,给出了同步合成网保持子网结构性质不变的条件。结果表明：同步合成网对某些结构性质可直接保持,而对另一些结构性质,需在某种条件下保持。这些结果可为网系统同步合成提供有力手段。 相似文献
8.
9.
Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。 相似文献
10.
对偶Quantale及其性质 总被引：8，自引：3，他引：5
李永明 《陕西师范大学学报(自然科学版)》2001,29(1):1-5
提出了对偶quantale的概念,研究了对偶quantale的性质及其构造,利用quantale上的nucleus与余nucleus算子,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造,研究表明,对偶quantale是非可换quantale中的布尔代数。 相似文献
11.
基于Petri网的故障诊断新方法 总被引：3，自引：0，他引：3
在分析故障诊断问题特点的基础上，提出一种不增加Petri网元组的故障诊断新模型，对故障传播的分析更加方便，并通过实例验证了方法的有效性。 相似文献
12.
Petri网已经被成功地用来描述、验证及评价网络通信协议。本文阐述了扩充Petri网在研究CSMA/CD协议方面的应用。扩充是在两个方面完成的,即加入了禁止弧和时间的概念。通过使用可达图(树)和时间可达图等分析技术,介绍了CSMA/CD的一些重要性质。 相似文献
13.
14.
基于Ｐｅｔｒｉ网理论,建立了基本拉动系统的Ｐｅｔｒｉ网模型;以基本拉动系统为对象,把其Ｐｅｔｒｉ模型转变为强连接事件图,对其性能进行了分析,从而寻求了一种利用所建Ｐｅｔｒｉ网模型对拉动系统性能进行分析的方法．为了验证分析方法的正确性,进行了案例仿真分析,证明了分析方法的正确性 相似文献
15.
16.
苏远霖 《暨南大学学报(自然科学与医学版)》1988,(1)
本文推广了Petri网的概念。新定义的广义Petri网可用于描述排队系统,文中给出了用广义Petri网描述排队系统,即建立排队系统的广义Petri网的步骤,还给出了关于广义Petri网的一些初步结果。 相似文献
17.
For the first time, this paper introduces Petri net theory to the domain of enterprise strategy management, puts forword a new way by using Petri net to analyse and describe the formulating process of enterprise merger and acquisition strategies, provides a clear and simple tool for supporting the management bureau of enterprise to make its merger and acquisition strategies. 相似文献
18.
设Ｔ是矩形域Ｔ的一个子矩形域，证明了如果Ｔ“平行于”Ｔ，则Ｔ具有Ｂｅｚｉｅｒ网的保凸性。即所有在Ｔ上凸的Ｂｅｚｉｅｒ网在Ｔ上的限制也是凸的。 相似文献
19.
许多工程系统的重要特征是具有动态行为,因而不能用故障树模型进行这类系统的可靠性分析．本文讨论用Ｐｅｔｒｉ网方法作为建模工具来描述单调关联故障树,并且考虑配置维修设备．可修系统的动态行为可以借助Ｐｅｔｒｉ网模型和等价的马尔可夫链进行研究． 相似文献
20.
马淑萍 《北京工商大学学报(自然科学版)》2000,18(2):46-52
以往研究人员可靠性基本采用静态方法 ,提出一种动态方法—— Petri网来研究人员可靠性 .在介绍 Petri网基本概念的基础上 ,以碱回收炉操作中出现的人员可靠性问题为例 ,说明在人员可靠性研究中 ,Petri网是一种更为有效的工具 相似文献