Petri网的对偶运算及性质

给出了对偶Petri网的加法、笛卡尔积、并运算及有关性质 ,得到了对偶Petri网运算的一些结果     

对偶Petri网的运算及性能分析

给出了对偶Ｐｅｔｒｉ网的加法,笛卡尔积,并运算及有关性质,得到了对偶Ｐｅｔｒｉ网运算具有结构性质的条件     

高层建筑全程立体内控网的建立与应用技术

在高层建筑施工中，普通测量的程序复杂，预控准确度差且易造成质量事故。为了简化测量程序、提高工程质量和经济效益，建立了高层建筑全程立体内控网技术。经在实践中应用，该技术达到了优化、统筹、协调、预控的效果，创造了良好的社会效益和经济效益。     

整体网研究综述

整体网研究是适应社会发展的需要产生的,具有重要意义。介绍了整体网的分类、规模、构成、密度及结构等,对整体网结构的属性变量、网络变量、关系变量等进行了探讨,指出了整体网研究的优缺点和意义。     

HBE-ZigbeX无线传感器网络平台3种拓扑结构的TinyOS实现

在以TinyOS无线传感器网络专用操作系统的HBE-ZigbeX硬件平台下,分析了实验包TestTree的实现方法和流程,以TestTree软件框架为基本模型,构造了星型网、环形网和树状网这3种基本的网络拓扑结构,给出了具体实现方案,并在HBE-ZigbeX节点上验证了方案的可行性.     

广西都郎河水电资源开发的GPS整体控制网技术分析

该文叙述了都郎河水电资源综合开发工程建立GPS整体控制网的过程,总结了一些常见技术方案.     

如何搭建适合县级台的低成本非线性编辑网络

本文从县级台的实际情况出发,分析了大型非编网络存在的问题,并针对县级台的实际情况,提出了一套低成本的简易非编网方案,对小型电视台有一定的借鉴意义。     

自由选择网的同步合成运算

定义了自由选择网ＦＣ网（ｆｒｅｅｃｈｏｉｃｅｎｅｔｓ）的同步合成运算,给出了ＦＣ网同步合成网为ＦＣ网或ＡＣ网（ａｓｙｍｍｅｔｒｉｃｃｈｏｉｃｅｎｅｔ）的两个充分必要条件．这些结果可为ＦＣ网系统合成的静态和动态特性考察提供有效途径．     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。     

不确定性知识的定性表示、推理及其应用——定性概率网研究综述

 贝叶斯网是不确定性知识表示和推理的有效框架,定性概率网是贝叶斯网的抽象表示,它简化了不确定性知识的表示,加速了不确定性知识的推理.近年来,定性概率网成为了不确定人工智能和知识发现领域的一个重要研究方向.分析总结了目前定性概率网的挑战和研究成果,主要包括定性概率网的知识表示、推理及应用3个方面.表示方面,概括了定性影响、定性加协作、定性乘协作和原因间影响,并探讨了定性概率网表示机制存在的问题及主要解决方法;推理方面,描述了推理算法,探讨了定性概率网推理冲突问题,分析比较了解决推理冲突的主要方法;应用方面,概括了基于定性概率网的知识发现和决策支持的主要方法.此外,基于对现有研究成果的分析总结,也指出了定性概率网相关方面进一步研究的问题及重点.     

Petri网的两类广义组合并网

Petri网运算和组合是合成复杂系统的有效方法,由此提出了Petri网的两类广义组合并网,讨论了保持网的可重复性,相容性,有界性和守恒性的条件,为Petri网对于大系统的分析提供了新途径。     

Petri网的块组合并网及性能分析

提出Petri网的两类块组合并网,讨论了保持网的结构性质的条件,这些结果对Petri网的合成和分析是非常有用的.     

用有色Petri网模型进行电力系统结线分析

提出了一种可用于电力系统结线分析的有色Petri网方法。该方法以元件和开关状态构造的有色Petri网为核心 ,用令牌的流动来确定电力系统结线分析的网络结线 ,变迁的发生将包含相同元件的结点连接在一起。通过对一个电力系统模型的分析 ,表明该方法的可行性及有效性     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

Petri网模型在MIS系统中的应用

管理信息系统是控制物质和信息的协调系统。Petri网是一种建模及分析系统性能的有力工具，特别是对检测系统并发冲突方面具有独到的优势。利用Petri网和MIS的耦合性，Petri网模型可以使管理者了解生产的细节和工作流程，更好地为决策者服务。     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

无环Petri网的结构性质

无环Ｐｅｔｒｉ网的结构性质赵正义宋文忠（东南大学自动化研究所，南京２１００１８）无环Ｐｅｔｒｉ网是一类特殊的Ｐｅｔｒｉ网，在研究离散事件动态系统（ＤＥＤＳ）的控制问题时经常会遇到，如文［１］中的结构无竞争无环Ｐｅｔｒｉ网，文［２］中的广义树结构均属...     

多媒体OCPN同步模型的研究及改进

Petri网作为一种描述系统行为的形式化工具，尤其擅长描述多媒体的同步问题，由此出现了诸如OCPN等多媒体同步模型，然而，这些模型仅能描述多媒体之间的合成同步，对于解决分布式环境下的多媒体同步问题却显得不足。本文提出了一个分布式交互多媒体同步模型，该模型可以较好的解决分布式多媒体系统的交互与同步问题。     

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．