基于Petri网研究选择性拆卸

废弃产品的拆卸回收是绿色制造中的关键技术。运用Petri网作为数学工具描述产品的拆卸树，并用自定义的语法作形式化的表达，重点研究了选择性拆卸问题。这对于废弃产品的回收、重用以及日常的维修，都具有重要作用。基于拆卸Petri网，提出了两种评价函数，并运用反向启发式搜索策略，形成了一个改进型的算法。最后对一个工程实例作了具体研究，验证了方法的可行性，使得选择性拆卸序列具有供现场机器人实用的价值。     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Pe-tri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等。相关实例的仿真结果证明了该模型的有效性。     

基于Petri网的并行设计建模和分析

机械产品并行设计过程具有多因素、离散、动态和并发等特点,尤其是疳发性,它影响设计结果的稳定性和精度,利用Petri网良好的离散事件动态表达和计算能力,以及图形表示的直观性,建立并行设计问题的Petri网模型,并结合应用实例,对模型的动态、并发问题进行了分析。     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

基于Petri网的制造单元建模与仿真

运用基本Petri网建立了面向仿真的、分层的制造单元模型。通过对系统的分层,使位于下层的具体加工形式可扩展;而选择层使得制造单元可以运用与零件工艺相适应的调度规则和加工形式。对模型的性能进行了分析．最后给出了以此模型为基础的仿真应用系统,通过实例验证了模型的正确性和先进性。     

Petri网的融合系统建模与仿真

Colored Petri网是Petri网建模与仿真技术的前沿,通过使用CPN-tools仿真软件对两种融合结构(集中式和分布式融合)进行建模。在同一运行规则下,通过设置相同的参数进行建模仿真,结果表明该模型和方法是合理和有效的,可以作为进一步仿真的基础模型。     

Petri网建模方法在网络仿真中的应用

首先介绍了Petri网原理及特点和Petri网建模的一般方法，然后以CSMA／CD网络为例给出仿真模型，最后总结Petri网建模优点并将Petri网建模与流程图进行了比较。     

战时装备维修保障系统赋时Petri网建模

Petri网作为离散事件系统（discrete event system,DES）建模仿真的有利工具,能较好地用于对战时装备维修保障系统的仿真建模。介绍了赋时Petri网,分析了其在战时装备保障系统中的运用,提出了系统模型假设,给出了战时装备维修保障系统模型的具体设计方案,并对模型的应用进行了说明。     

基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

基于Petri网的智能控制结构建模

智能控制具有递阶结构，按照精度提高智能降低的原理依次为组织级，协调级和执行级，本文提出用Ｐｅｔｒｉ网对智能控制递阶结构中组织级的任务规划和协调级进行建模，并提出用Ｐｅｔｒｉ网进行任务分解的方法，本研究对于智能控制的知识表示方法研究有一定的参考意义，并对于机器人系统设计与分析具有重要的理论与应用价值。     

数据融合系统的Petri网模型

数据融合是对按时序由传感器获得的数据进行分析和综合的过程,本文提出了多维Ｐｅｔｒｉ网系统,用它建立数据融合的功能与结构模型,构造出该Ｐｅｔｒｉ网模型的可达树,在可达树上分析数据融合的性能和行为,同时给出了建立多维Ｐｅｔｒｉ网模型和构造可达树的算法     

一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

基于Petri网的安全工作流管理系统模型

访问控制是信息系统的一个重要安全保护机制,主体只有在被授权时才能对客体进行访问。应用有色时间Petri网对安全工作流模型进行了描述,并结合读/写安全策略对动态授权机制进行了应用分析。应用基于有色时间Petri网的工作流模型可以降低数据误用的危险性。     

基于时间Petri网的动画描述模型*

提出了基于时间Petri网的动画描述模型, 并结合面向对象方法对动画脚本中角色和情节进行描述, 用该模型来设计的一个动画脚本描述语言已经实现.     

基于Petri网的Job_Shop动态调度问题的模型和仿真

在定义了带有抑制弧的颜色Petri网的基础上,建立了Job_Shop动态调度问题的模型。该模型充分考虑了机器维护、机器故障和工件优先级三种情况。最后,以CPN Tools为工具,结合一个Job_Shop调度问题实例,对模型进行了仿真研究,并对结果进行详细的分析。仿真结果表明,提出的模型具有较强的动态响应能力和有效性。     

基于Petri网下递归关系的自控网模型

自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型。这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想。