基于Petri网的固定结构决策组织建模技术研究

在指挥自动化系统中,固定结构决策组织模型的建立存在多维性、复杂性、开发研制周期长、耗资巨大等问题,仿真技术为这类问题的解决提供了一条途径,而建模技术对仿真的有效实施提供了保障．文中在对现有固定结构决策组织建模技术深入分析的基础上,提出一种基于格论生成法和两阶段生成法相结合的建模方法．该方法具有可在不同抽象级别上变换的特点,更适合描述系统状态的改变,提高系统设计开发效率．     

基于Petri网的医疗流程建模优化

为减少患者就医时抽血化验的次数,提出了一种基于Petri网的医疗流程模型的优化分析方法.首先介绍了Petri网的基本概念; 然后在确保合理的医疗流程前提下,通过合并变迁对医疗流程进行了建模优化; 最后利用PIPE软件对优化后的模型进行了模拟运行,结果表明本文方法能够有效改善医疗流程,节省医疗资源.     

基于随机Petri网的FMS建模及其性能分析

FMS是复杂、大型的系统，利用Petri网的特有性质能很好地分析FMS系统。首先概述了柔性制造系统和随机Petri网的特征，结合一柔性制造系统的实例，通过随机Petri网建模，分析了FMS的多项性能指标；最后简要介绍了一种模拟软件StpnPlay，并用其对随机任务随机时间进行模拟。在实际应用中可以借助一些模拟软件实现模拟结果，以供管理者参考系统的可行性。     

基于Petri网的建筑施工流程优化建模

用Petri网建立了建筑施工流程的优化模型,模型形象描述了建筑过程中施工流程的因果关系,并以总工期为优化目标,给出了优化算法,判别出整个施工过程中的关键流程,对关键流程进行优化,从而达到对整个建筑施工流程的优化,并可以计算出其它非关键流程的缓冲时间。     

基于Petri网的企业科技项目管理工作流建模

科技项目管理是企业信息系统的重要组成部分,利用Petri网,对复杂的科技项目管理工作流程建模,解决企业信息化中较为复杂的科技项目管理工作流问题。同时,以企业科技项目申请流程为例,给出了相关定义,分析和解决设计流程中遇到的几个问题。     

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

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

基于Petri网的战术互联网建模方法

为了兼顾建模仿真的实时性和精确性,在分析战术互联网结构和特点的基础上,提出一种基于Petri网的战术互联网建模方法,并从网络吞吐量和端到端时延2个方面进行了试验验证,对比分析表明：该方法易于实现,实时性高,在数据分组发送速率较低和节点运动速度较慢的情况下仿真精确度相对较高,能够较好地满足战术指挥模拟训练的需求。     

基于Petri网的选课系统建模优化

针对在访问选课系统中的临界资源时出现的不稳定性问题,建立了一种基于Petri网的选课系统流程模型.首先使用“生产者-消费者”原理对模型进行优化,实现“发布课程”和“选课”的严格序关系; 然后引入信号量机制进一步优化,实现互斥访问更新后的临界资源.最后用PIPE软件模拟运行优化后的模型并进行分析,结果表明模型具有安全性和有界性.     

基于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网模型.