基于时间-有色Petri网的电梯系统的建模与分析

根据时间Petri网和有色Petri网的知识，提出了基于时间-有色Petri网（TCPN）的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度，控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。     

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

工作流技术正在成为计算机应用领域的研究热点。Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于用于工作流模型的建立。本文在介绍工作流和Petri网基本概念的基础上,给出了使用Petri网建立工作流的模型。     

医疗信息系统工作流的Petri网建模与化简分析

应用 Petri网建模与工作流技术,构建了基于医疗信息整合(IHE)规范的医疗信息系统工作流的Petri网模型,并对一个医疗信息系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对医疗信息工作流进行有效的分析和验证,从而为医疗信息系统集成设计及其工作流分析提供了理论基础.     

基于规则对象Petri网的柔性制造系统建模

针对FMS建模中存在的问题，通过分析FMS的组成和活动特点，提出了规则对象Petri网的建模方法。该方法集中了Petri网和面向对象技术的优点，并融系统决策规则子模型中。利用规则对象Petri网，建立了FMS的资源对象模型、动态行为模型和调度决策模型，为设计、分析和调度控制提供了有效的工具。     

基于Petri网的包装物流系统建模仿真与优化

采用离散事件动态系统理论和Petri网建模技术,研究包装物流系统建模、仿真与优化,描述和分析系统要素及逻辑序列.以纸箱包装物流系统为例进行建模、仿真,优化分析,获得了该系统的优化模型.结果表明,这种研究方法可行有效.     

支持敏捷供应链重构的模块化Petri网建模与分析

建立了敏捷供应链重构的过程框架，将敏捷供应链的重构分为结构重构和运行策略重构两个方面，结构重构主要是有关供应链节点的选择与评价过程，策略重构是在供应链结构形式以后，对其各节点的库存，物流、供货等策略的控制，在结构重构中采用模块化的Petri网建模方法进行分析，并以一虚拟的供应链为例进行仿真     

基于Petri网和语义网络的虚拟维修过程建模与应用

针对当前虚拟维修过程中模型庞大,维修流程不可反复,部件间关系描述混乱等问题,论文提出一种Petri网和语义网络结合的过程建模方法——TJ(Training Join)网。TJ网上层利用语义网络对部件进行层次结构分解和资源规范聚类,实现子部件间逻辑互联;下层运用Petri网的变迁和触发规则提炼出Petri网元素模型,提高模型的通用性和建模效率。同时模型中的状态收集模块可实现部件属性状态间信息共享。最后,以虚拟维修平台中飞机电子设备架的维护为例,验证了TJ网的有效性。     

信任协商策略的Petri网建模分析方法

对Peer-to-Peer网络环境下信任协商和信任协商策略进行了定义和形式化描述,提出了一种基于Petri网模型的信任协商策略建模分析方法,将资源、证书和资源访问策略映射为Petri网网元进行建模,通过可达分析寻找最优资源解锁序列.和其他信任协商策略建模方法相比,该方法具有较好的性能.     

基于赋时Petri网的成组生产单元缓冲区建模

以CD造船厂的某成组生产单元为研究对象,在对不同功能和结构的在制品缓冲区进行分类的基础上,建立了该生产单元的扩展赋时库所Petri网模型;将此Petri网映射为eM-Plant软件中的仿真模型,通过对在制品缓冲区库存量仿真数据的监控和分析,讨论了该成组生产单元的瓶颈环节、设备的负荷状况、零件排序调度的优化与否以及生产的连续性和稳定性.     

高级Petri网及FMS的动态建模和仿真

给出了一种柔性制造系统模型，它能模仿和跟踪车间中散件调度计划的执行过程。模型由一类新的高级Ｐｅｔｒｉ网组成，它定义了着色令牌，时化变迁和谓词变迁，抽象了物理对象的主要属性和它们间的基本关联。通过数据库描述令牌属性，规则库描述变迁，构成了一种结构紧凑，信息丰富，可反映多个工作进程的高级Ｐｅｔｒｉ网模型。     

基于有色Petri网的产品协同开发过程建模方法研究

产品协同开发过程具有层次性、分布性、离散性和动态性等特点,采用合理方法构建其有效的过程模型成为协同开发过程管理与优化的基础性条件.将有色Petri网(CPN)技术引入产品协同开发过程建模中,针对性地提出了产品协同开发过程CPN模型的描述性定义;并从协同开发特点出发,为支持基本过程逻辑的描述由工作流原语定义了基本网模型结构;为了描述复杂协同关系,结合模块化方法及库所变迁性质给出了扩展网模型结构的构建方法.该方法实现了将协同开发过程关系从基本到复杂都能映射到相应CPN网上,并通过实例进一步说明了该方法的有效性.     

基于Petri网的网络安全系统故障查询方法

采用Petri网构造网络系统故障传播模型,并利用网络安全系统的层次特性,将网络安全系统逐级分解,级联,建立出更适用分析网络安全系统的Petri网模型,为具有网络拓扑结构的网络安全系统故障分析提供新的思路。     

混杂Petri网在企业能源系统建模中的应用

能源模型是一种能源系统工程的研究方法,企业级能源模型是研究企业级能源系统的重要手段,也是企业系统节能的基础。总结国内外各种能源模型,并在对钢铁企业生产流程分析研究的基础上,抽象出主要能源流程,利用混杂Petri网(HPN)对整个钢企的能源系统建立能源模型,给出基于Stateflow的能源系统HPN模型的仿真步骤,并给出实例,为进一步分析和优化能源系统提供了支持。     

基于Petri网的办公自动化系统结构模型设计

首先根据办公的工作需求,提出基于Petri网的工作流过程建模、基于工作流技术的办公自动化系统结构模型。     

基于UML与Petri网的一体化C4KISR系统体系结构研究

作为高科技武器系统及作战系统的核心部分-C4KISR指挥自动化系统,在现代战争中发挥这日益重要的作用,其性能的优劣直接影响到能否取得信息优势和占据作战优势.未来一体化C4KISR系统的不断完善和发展,将帮助军队以更加准确的获取信息,掌控战场局面.由于一体化C4KISR系统的复杂性,必须在开发前进行仿真建模研究,以验证系统的可行性.该文主要采用UML与Petri网相结合,对C4KISR系统建立动态和静态的模型,对系统进行仿真建模.     

一种基于Petri网的网络服务兼容性分析方法

针对目前基于网络服务业务过程执行语言(BPEL)的网络服务合成方法缺乏网络服务的兼容性分析机制,不能保证基于网络服务技术的业务过程正确执行的问题,建立了一种能从形式化的角度描述网络服务的接口交互情况的基于Petri网的多元工作流组合网模型,提出了一种能更快地获得网络服务可用性结果的网络服务兼容性判断算法.最后,提出了基于该算法的原型系统架构.     

基于Petri网的绿色产品全生命周期模型分析

绿色设计是一项系统而复杂的科研项目，是设计理论和设计方法的综合性研究，本文从系统的角度分析绿色设计理论的模型框架，并结合其特点进行引入数据仓库技术和Petri网理论的研究；最后结合实例初步探索Petri网在绿色设计体系中的应用过程和方法。     

基于Petri网的工作流模型的合理性验证

首先根据现实世界中的工作流正确性的概念,给出工作流网正确性的形式化描述,并给出工作流模型的合理性的定义,最后提出基于可达数的合理性验证算法,从而快速完成工作流模型的分析与验证。     

基于TOC和Petri网的业务流程重组方法

业务流程重组是企业根据市场和环境变化进行自身调整和完善,从而在竞争中取得优势的重要手段.通过Petri网建模可以对企业业务流程进行动态分析和控制,寻找制约企业盈利的最薄弱环节.在此基础上,应用约束理论(TOC)能够对业务流程中最薄弱的环节进行改进和重组,逐一消除制约环节,不断提升企业的竞争能力.在分析Petri网流程建模思路和约束理论基本原理的基础上,提出了基于Petri网和约束理论的业务流程重组方法,并进行了实证研究.     

基于广义随机Petri网GSPN的系统安全性研究

针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究。基于Petri网、GSPN模型的基本原理，提出了关键状态搜索算法，并进行了安全性仿真分析．将广义随机Petri网的扩展模型应用于安全性分析领域，丰富了动态系统安全性问题的研究手段。