有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

用于描述排队系统的广义Petri网

本文推广了Petri网的概念。新定义的广义Petri网可用于描述排队系统,文中给出了用广义Petri网描述排队系统,即建立排队系统的广义Petri网的步骤,还给出了关于广义Petri网的一些初步结果。     

流体随机Petri网的混杂自动机模型

为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.     

一种扩展了价格变迁的Petri网及应用

提出一种扩展了价格变迁的Petri网一经济Petri网，讨论了相应的分析方法，并用经济Petri网建立一个业务流程的费用模型。得出的结论包括：为Petri网扩展价格变迁是可行的：将经济Petri网应用于业务流程管理领域是有效的。     

基于Petri网的应用软件开发及其关键技术

讨论了设计基于Petri网的应用软件中的几个关键技术及相应的解决方法,类似与中间件技术,将Petri网结构文件存储为XML也格式文件,系统能够导入和导出基于PNML(Petri Net Markup Language)交换格式的Petri网模型,并简要介绍了基于Petri网的多主体运行环境PNAE(Petri Nets based Agents Environment)．     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

对一个Petri网进程表达式的探讨

Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。     

防化装备维修保障系统的Petri网

为了解决传统的Petri网模型结构复杂、缺少时间描述等不足,在装备维修保障系统建模中,利用有色Petri网、赋时Petri网理论,提出了装备维修保障系统的Petri网模型,具有结构顺序明确、计算简便、效率高等特点。     

基于混合Petri网的单点信号优化感应控制

为研究单交叉口交通信号感应控制问题,建立由连续Petri网描述交通流和离散Petri网描述交通信号控制的混合Petri网模型。根据连续Petri网的离散化方法,以连续Petri网中的参数为基础,提出各个相位车辆总停留时间的计算方法。为优化各个相位的绿灯时间,以车辆总停留时间最小为目标建立优化感应控制模型,并进行仿真计算。研究结果表明:采用基于混合Petri网的优化感应控制方法时,4个相位的车辆平均延误分别为18.19,15.65,14.88和15.24 s,与基于混合Petri网的一般感应控制方法、基于离散Petri网的感应控制方法相比较,平均延误的最大缩短率分别为26.26%和38.33%。基于混合Petri网的优化感应控制方法可以较好地实现单点信号控制。     

Petri网图形建模仿真系统的研究与开发

将面向对象思想引入Petri网建模、仿真系统的研究和开发,设计了基于图形界面的普通Petri网建模仿真工具软件,构造了相关的普通Petri网核心类,给出了普通Petri网点火机制的计算机实现方法,通过可视化开发工具Delphi实现了该建模仿真工具,通过该工具,可以以人机交互的方式建立、编辑、分析、仿真普通Petri网模型     

基于不变量综合离散事件系统Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件动态系统中实现一组不等式约束控制规范的Petri网控制器的存在性及其综合问题.利用系统的关联矩阵,把Petri网控制器的参数阵与受控系统的一个P-不变量用线性方程组联系起来.提出了Petri网控制器存在的代数判据.通过以此方程组为约束条件的一个整数线性规划问题的解,给出了Petri网控制器的结构参数（弧权值）和控制位置的初始标记数.给出的控制器的结构具有极小性.在结构一定的条件下,它是极大允许的.     

基于模糊加权有色网和BP神经网络的飞机发动机故障诊断

针对传统知识推理故障诊断方法中参数往往依赖于专家经验,存在着不准确和无法学习的问题,提出了一种基于模糊加权有色网和BP神经网络的故障诊断方法。首先,定义了模糊加权有色网并给出了两种产生式规则对应的模糊加权有色网模型。然后,设计了采用BP神经网络对模糊加权有色网各参数进行学习的算法。最后,给出了使用训练后的各参数进行初始化的模糊加权有色网进行故障推理的具体步骤。通过飞机发动机故障诊断实例仿真实验证明了方法能正确地建立模糊加权有色网推理模型,在采用BP神经网络进行参数训练后,能有效地实现飞机发动机的故障诊断。     

基于petri网的政务信息资源管理模型的研究

充分利用petri网技术在系统建模领域的优势,通过扩展petri网的概念,定义面向对象的有色petri网oonet.并以oonet为基础,提出对电子政务资源配置进行动态管理的政务信息资源管理模型.     

关于Petri网归约问题

Petri 同归约问题是当今 petri 网研究领域的一个重要课题,本文从 Petri 网静态结构的角度出发,给出了三个层次的 Petri 网归约方法,并用代数的方法严格地证明了这些归约方法保持网的两大重要性质:活性和有界性。它们为 Petri 网的归约和分析的复杂性之间提供了一个灵活折衷的手段,能够对一个庞大、复杂的 Petri网进行不同程度的归约,以适应不同的需要。文中所给出的归约算法是基于网的关联矩阵的,具有高效,便于实现的特点。此外,本文还就多弧 Petri 网的归约问题和 Petri 网的分解问题作了简要讨论。最后还给出了哲学家用餐问题的 Petri 网新模型并对之进行归约。     

Agent—oriented Single Token and Colored Transition Petri Net

Petri net is a kind of effctive graphic modeling tool.The agent technology is combined with petri net in order to enhance flexibility and extendibiltity,and the agent-oriented single token and colored transition petri net is propose,Some characteristics such as liveness,fairness and safety are analyzed.Finally,an example in mould agile manufacturing is given to illustrate the use of it.     

OSPF协议中路由表计算的测试例生成方法

本给出了OSPF协议中路由表计算部分的Petri网模型和产生测试例的方法,以算法中的外部路由计算为例,详细介绍了如何从协议本形式化为Petri网模型,然后再多Petri网生成测试例的方法,并给出了方法所采用的测试标准。     

Petri网中的数学方法

根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法.     

基于扩展的层次有色petri网的组合服务测试用例生成

为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义一使用路径覆盖标准.     

实现自然数M次乘方和开M次方计算的增广PETRI网模型

本文给出一个实现自然数m次乘方计算和开m次方计算的两个增广Petri网模型。对于开m次方的增广Petri网模型,若被开方数为完全m次方数,则可算得准确的m次方根值;若被开方数不是完全m次方数,则可根椐需要算出精确到小数点后第k位的近似值。     

基于Petri网模型的OSPF路由处的测试序列生成

OSPF协议是一种动态路由协议,它利用内部的链路状态数据库来维护和计算路由,它的路由算法是本协议的关键部分,本给出了路由算法的Petri网模型,并使用控制流和数据流测试相结合的一种方法,在此基础上产生测试序列。