基于Petri网的底盘总装线人员配置优化研究

客车底盘总装线生产属于离散事件动态系统(DEDS),针对作业任务对作业人员这种资源存在共享、独占等关系,利用自顶向下的建模方式构建时间Petri网模型,对客车底盘总装线的人员配置进行优化,给出了人员配置的方法与步骤.实例分析表明,时间Petri网模型可以用来优化总装线人员配置,提高劳动生产率.     

基于Petri网的系统可靠性分析

本文讨论用Ｐｅｔｒｉ网方法作为建模工具来描述单调关联故障树，并且考虑配置维修设备，可修系统的动态行为可以借且Ｐｅｔｒｉ网模型和等价的马尔可夫链进行研究。     

基于Petri网研究选择性拆卸

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

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

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

基于着色Petri网的资源共享问题的研究

Petri网具有严格的数学定义与直观的图形表示，又有丰富的系统描述手段与行为分析技术：是一种适合于描述异步并发竞争机制的系统模型。不同进程对系统资源存取的同步与互斥是资源共享系统中的关键问题，解决多个进程共享资源同步与互斥的传统方法有：加锁机制、信号量机制和管程机制等。本论文基于着色Petri网理论，以计算机操作系统中的经典哲学家问题为引例，提出了基于着色Petri网描述与解决资源共享与同步问题，并用CPNTools工具进行了仿真，取得了简明直观的效果，为解决资源共享问题提供了一种新的研究方法。     

基于Petri网模型的异步并发性

通过分析Petri网的网状结构特性,研究其描述异步并发的能力和特点．然后以Petri网的角度重新定义异步并发的概念,并结合实际异步并发应用中的特性,完成建模过程分析．最后,以教务系统中排课系统Ajax的异步传输机制为例建立模型,指导和检验系统的运行情况．     

基于Petri网的船舶电力系统故障诊断

船舶电力系统应保证供电连续性,尽量缩短电力系统故障时间.在分析船舶电力系统自身特点的基础上引入Pe-tri网技术,充分利用Petri网技术对电力系统故障进行建模的快速性对船舶电力系统故障进行诊断.研究利用Petri网技术对船舶电力系统进行故障仿真,包括模型建立、故障诊断以及对不确定信号的诊断与排除.诊断结论充分验证了Petri网技术的有效性和快速性,利用该方法能够帮助快速准确地判断事故,及时排除故障.     

一种基于Petri网的事务模型

提出了一种基于Ｐｅｔｒｉ网的关系数据库的事务模型，即事务网，它清晰地表明了数据与事务的相互依赖关系及事务之间的并发关系，可作为关系数据库逻辑设计阶段的重要工具。     

基于Petri网的分布式实时多媒体同步模型

利用Petri网这个形式化的工具对多媒体同步模型进行了描述，并借鉴了DTPN的交互思想和XTSPN的动态语义，使该模型具有交互性，并能克服网络延迟等影响．     

基于Petri网的综合教学实验平台研究

设计了一种综合教学实验平台。该综合实验平台将现有的课程实验设备集成到平台中并根据电力系统中发电到输配电环节的结构设计七大功能模块模拟电力系统运行,其中故障诊断模块利用 Petri 网建立故障诊断模型对实验平台进行监控并保证其稳定运行。算例分析证明该实验平台具有良好的故障自诊断能力,满足了实验教学的需求。     

基于Petri网的乐音体系建模

把Petri网理论和音乐理论结合起来,提出了一个较完整的用自控网系统和时间Petri网建立的乐音体系模型.该模型借助Petri网有关理论成果,可以形式化的分析乐曲,便于计算机处理.其实质是在五线谱的音符之间加入变迁元素,使其更反映乐曲的本质,并且起到同步的作用.     

排队系统的随机Petri网描述与分析

研究了用随机Ｐｅｔｒｉ网描述的基本排队模型，提出了对复杂系统建模的组合方法，并结合通信网中若干实验问题尝试了用随机Ｐｅｔｒｉ网对排队系统建模、分析的一般途径。     

故障Petri网的状态方程研究

在比较其它研究人员关于故障Petri网定义的基础上给出了新的故障Petri网定义,根据给出定义提出了确定故障Petri网状态方程的算法,并通过实例证明了所提出的状态方程符合故障动态传播的物理特性．     

基于Petri网的图书馆管理预测模型研究

提出了用Petri网科学管理图书馆的方法。图书馆管理预测问题具有多因素,离散,动态和并发等特点,Petri网有良好的离散事件动态表达和计算能力和直观的图形表示,因此建立了图书馆管理预测问题的Petri网模型,并进行了分析,为采用合理的管理策略提供理论依据。     

基于Petri网的应急管理工作流模型

讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析．     

基于Petri网的工作流模型构建

Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

基于Petri网的图书馆管理预测模型研究

提出了用Petri网科学管理图书馆的方法.图书馆管理预测问题具有多因素、离散、动态和并发等特点,Petri网有良好的离散事件动态表达和计算能力和直观的图形表示,因此建立了图书馆管理预测问题的Petri网模型,并进行了分析,为采用合理的管理策略提供理论依据.