基于Petri网模型的航空兵仿真研究

研究了航空兵Petri网模型的多线程构建方法和多线程实现方法以及仿真主进程的结构.结果表明,该仿真系统的结构设定为六部分:即用户接口、信息库、仿真主系统、统计结果分析和运行调整部署机制.     

基于Petri网的工作流仿真建模研究

工作流仿真模拟工作流执行的环境,高效、低成本、快速地执行工作流过程,通过分析仿真结果,来发现模型中存在的问题,达到工作流优化和重组的目的.仿真模型是仿真的前提和基础,该文介绍基于Petri网的工作流模型,讨论了在此模型基础上如何添加仿真信息,映射基于Petri网的仿真模型,并以工作流仿真的部署,说明了仿真建模的研究.     

基于Petri网的PLC程序设计

随着生产过程复杂性的增加,对系统的控制也更加复杂.传统的PLC程序设计方法,已不适用于诸如协调、竞争等控制的设计.需要寻求新的程序设计方法来满足复杂的控制要求.本文介绍了基于Petri网的PLC程序设计.     

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

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

基于Petri网的病毒攻击建模

针对威胁计算机网络安全的病毒攻击行为,建立了基于Petri网的病毒入侵网络基本模型,利用CPN tools仿真工具分析了模型的活性和各个库所的有界性,以利于采取有效的网络防御措施和建立安全的防御体系.利用安全策略域、域间通信信道的概念,根据病毒入侵传播的特性,建立了基于随机着色Petri网的企业网络模型,并给出了用该模型模拟与安全相关网络行为的方法.     

基于Petri网的离散制造过程建模工具

通过分析离散制造系统的基本组成元素和离散制造过程的特点，将有色时间Ｐｅｔｒｉ网中的颜色元素进行面向对象的扩展，分别对离散制造系统的硬件组成，行为方式的控制方式建立模型。通过模型的仿真运行模拟离散制造过程的控制信息和数据的流动情况，为离散制造系统的设计，规划，调度，控制等问题的研究提供了一个有效的工具。     

数字Petri网的数字控制系统描述工具

通过引入数字位置，数字变迁和采样周期等概念，提出一种新型Petri网——数字Petri网(DPN)，分析该网的特点及其运行规则，并用该网对数字控制系统进行建模．     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

基于Petri网的工作流模型的研究与仿真

对于复杂的基于Petri网的工作流模型进行合理性分析是非常重要的,依据四种基本模型对复杂的工作流模型进行等价分层简化,根据串联、并联和选择模型的等价服务时间计算方法对简化模型进行计算,建立模型仿真,从理论计算和仿真实现上分析其合理性。     

基于Petri网分解的系统范例分析

以生产者一消费者系统和多处理机系统为例子,讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用,分析了分解后的子系统与原系统的结构和行为方面的对应关系,为基于Petri网的复杂系统分析提供了有效的方法.     

网格实时事务并发控制协议及其PETRI网分析

将网格服务动态性与实时事务替代性相结合, 定义了基于替代服务的网格实时事务模型;并在此模型基础上,进一步提出网格实时事务并发控制协议.最后,通过Petri网理论验证其可行性和正确性.     

一类模糊混合Petri网的交通信号灯的实时控制

针对固定周期的交通信号灯浪费道路资源的问题,提出一种模糊混合Petri网用于交通信号灯实时控制的建模方法。该模型结合本相位方向的排队长度和路口的车流量对本相位绿灯时长实时控制,再结合其他相位红灯时长和其他相位的排队长度,实时控制相序的变化。仿真分析表明,基于模糊混合Petri网对信号灯实时控制可最大程度降低车辆的停车次数。     

引入Petri网概念的可视编程系统的设计

引进Ｐｅｔｒｉ网概念刻划图标（Ｉｃｏｎ）的动态行为和相互作用并给出一个可视化编程系统．通过例子说明本系统在编程阶段和程序运行阶段所采用的可视化技术     

Signal语言对扩展型Petri网的分析

为了解决现有Ｐｅｔｒｉ网分析工具（可达性树和矩阵方程）不能很好对扩展型Ｐｅｔｒｉ网进行分析的问题，提出用Ｓｉｇｎａｌ语言对扩展型Ｐｅｔｒｉ网进行分析的方法．Ｓｉｇ－ｎａｌ语言不仅能够解答扩展型Ｐｅｔｒｉ网安全性、有界性等问题，还能够直观地表示扩展型Ｐｅｔｒｉ网中各变量之间的约束关系及特性，更好地揭示网络的动态变化行为．     

生物医学循环系统的Petri网分析与实时控制

用Petri网方法对一个生物医学循环系统进行分析,详细描述了循环系统的各个状态及转移关系,并给出了Petri网分析离散事件系统的步骤与方法,最后通过微机对系统进行实时控制。     

基于扩展对象Petri网的产品模型

提出一种支持创新的产品模型，该模型可刻画产品的静态结构，也可刻画产品的动态过程．它集成了面向对象的思想，以实现知识的封装、抽象与层次化建模，特别是扩展了对象的属性类型，将对象的值扩展到流形，然后利用高级Petri网来刻画产品的动态过程．该产品模型能有效地支持产品的创新设计．     

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

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

一种基于模糊Petri网的操瞄系统故障诊断方法

针对操瞄系统故障诊断建模中动态行为较难描述的问题,利用模糊Petri网的方法对系统中的故障传播进行建模.引入模糊产生式规则进行知识表示,研究了模糊Petri网的故障诊断建模方法及其推理算法.利用该方法对某牵引火炮的操瞄系统进行故障分析. 分析结果表明,基于模糊Petri网的故障诊断方法,结构简单、易懂,具有良好的故障表达形式以及有效的模糊推理能力,是一种行之有效的故障诊断方法.     

基于Petri网的离散事件系统控制理论

建立在Ｐｅｔｒｉ网逻辑模型上的离散事件系统控制理论是近年来发展起来的离散事件系统控制理论的重要组成部分，具有适应面广和易于实用化的特点，本文首先介绍该理的Ｐｅｔｒｉ网模型，然后概述该理论的主要成果。     

基于局部关联矩阵的Petri网监控器的综合

针对具有定义在库所标识上的最一般情况下不等式约束的离散事件系统,给出了它的Petri网控制器设计方法.该方法通过简化离散事件系统的Petri网关联矩阵以减少控制器设计的复杂性.通过一个应用实例将该控制器设计方法与Moody提出控制器设计方法进行比较,结果表明该方法更简便、有效.