基于面向对象Petri网的供应链工作流建模

供应链工作流需要可动态调整的柔性建模方法,本文将面向对象思想引入Petri网中,结合时延和状态标识,并借用了有色Petri网相关概念,建立基于时延特性的面向对象Petri网(SC-TOOPN).SC-TOOPN使供应链工作流建模更具结构化和动态化的特点,可以为系统提供一种形式化的建模工具.     

基于模糊概率Petri网的故障诊断建模与分析

为筛选故障诊断推理中的冗余信息,研究了面向故障诊断的模糊概率Petri网（FPPN）。通过综合专家经验知识,将事件的概率参数引入推理分析中。并给出了基于状态方程的正向、反向及混合推理分析方法。以铁路道岔系统的故障诊断为例,说明基于FPPN的建模和分析方法,结果表明：引人概率参数的FPPN能够筛除冗余信息,分析过程体现了人工推理的思维模式,优于基于FPN的分析结果。     

基于分层Petri网的敏捷供应链建模与分析

基于Petri网系统理论,采用分层分析的方法,将供应链抽象出顶层和底层模块,将顶层模块细化,形成底层模块,并生成与各层次相对应的状态图.根据状态图抽象出其中的库所、变迁等变量,形成对应的Petri网.利用Petri网理论对此供应链系统进行静态结构分析和动态行为分析,最终实现供应链上各节点企业的整体集成和协调控制.子网中应用CPRF流程生成订单的思想,构造订单生成子网模块,产品生产子网模块及信息采集子网模块,整合出整个供应链的子网系统.最后,对系统的鲁棒性和反应敏捷度作综合分析,构造了可达树,并对所建模型的正确性和可达性进行分析.     

基于Petri网的工作流建模与分析

工作流建模是工作流研究中的关键问题.论文在对当前工作流中的主要路由模型分析的基础上,结合Petri网的结构、形式化定义和流程建模方法,建立了从工作流到Petri网的路由映射模型.通过对贷款处理流程的工作流建模分析表明,基于Petri网的工作流建模方法具有直观、简洁等优点.     

基于Petri网的建模支持

把Ｐｅｔｒｉ网应用于基于图形的模型管理和建模支持，为此对Ｐｅｔｒｉ网作适当的扩展以适应模型管理，并提出了数学模型的Ｐｅｔｒｉ网表示方法。研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法。     

基于面向对象Petri网的供应链运作建模

采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术中心为支持,提出供应链运作模式;构建各参与对象OPN模型,获得系统P不变量,在此基础上分析系统的性能如死锁、溢出以及冲突等.以制造商为例的OCN的关联矩阵和P不变量分析,证明构建的模型具有良好的性能.     

基于离散-连续联合建模的供应链混合Petri网仿真研究

供应链是由作为自治实体的供应商、制造商、分销商、零售商的连续性供应、生产、销售活动和物流服务企业的离散性运输活动相互作用而组成的混合系统。传统把供应链作为离散事件系统进行建模与仿真,这种方法不能很好地反映系统的动态复杂性。现采用离散变量与连续变量相结合的建模方法,运用混合Petri网对供应链进行了仿真,证明了其优于离散Petri网仿真。     

基于用例的层次Petri网建模

利用用例解决了层次Petri网建模中问题界定和问题细化的两个难点，同时也利用层次Petri网表现了用例中文本形式事件流所无法表现出事件自身的并发关系，由此建立的模型具有粒度可控和模块化良好的优点。     

基于Petri网的数字图书馆系统建模

Petri网是具有形象直观的图形描述以及严格的数学定义的建模工具。通过对数字图书馆书刊流通系统建模,探讨了Petri网在数字图书馆建模中的运用。     

基于Petri网的工作流时间建模

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法.并以某一检查案例为工作流模型,进行了工作流建模和时间性能分析.     

基于模糊 Petri 网的发动机故障诊断

基于模糊 Petri 网的基本原理,提出了简明有效的推理算法,并以发动机为例说明了 Petri 网在故障诊断中的应用.     

基于Petri网的工作流建模技术及应用

工作流管理技术是 90年代初新兴起的软件技术。其实现的关键在于工作流概念模型的建立。虽然信息系统领域的建模理论已经发展得较为成熟 ,但在工作流管理领域还没有一个专门的建模工具来满足工作流建模的需求。通过对几种概念建模方法的比较分析 ,论文选择 Petri网作为工作流建模的主要工具 ,并探讨和总结了工作流程的路由结构、触发机制、可靠性工作流模型的分析方法 ,转换原则和组合性质 ,最后通过一个案例进一步阐述了基于 Petri网的工作流建模技术。实际应用表明该建模方法简单、可行 ,能够保证工作流模型的有效性 ,而且便于工作流网络的计算机形式化表示 ,有利于工作流管理系统 (WFMS)的实现。     

基于Petri网的敏捷制造业务过程建模研究

在分析敏捷制造业务过程的基础上,给出了该业务过程的Petri网系统描述,并提出了Petri网过程模型.该模型描述了敏捷制造中多因素相互间的动态行为,解决了其过程中各环节之间的并发性、异步性、分布性等问题.最后,运用可达树分析方法分析了网模型的活性.     

基于广义随机Petri网的贵港生态工业园资源利用率分析

资源利用率是评价生态工业园运行绩效的重要指标,资源高效利用是生态工业园建设的基本要求.本文以广义随机Petri网作为建模工具,以贵港生态工业园作为研究对象,通过构建贵港生态工业园物质循环网络的广义Petri网模型,利用广义随机Petri网模型与马尔科夫链的同构关系,分析了贵港生态工业园关键资源的利用率以及重点加工环节运作效率,指出了贵港生态产业园资源利用过程中有待改善的环节,为贵港生态工业园的优化和改进提供了依据.     

基于随机Petri网的物流服务供应链可靠性计算方法

物流服务可靠性是物流服务质量的核心组成要素,是物流管理中的一个重要问题.本文在分析物流服务供应链的物流能力以及其二级结构的基础上,运用随机Petri网理论对物流服务供应链可靠性问题进行建模分析,计算得到物流服务供应链的可靠性指标表达式(稳态可用度与可靠度),并将物流服务供应链的串联与并串联结构进行对比分析,得到的结论是:当物流服务分包商提供的物流服务存在竞争时,物流服务供应链可靠度和稳态可用度指标更优,该研究成果将为物流服务供应链可靠性管理提供决策支持.     

基于模糊统计的模糊Petri网token确定方法

在模糊Petri网应用研究中,普遍存在模糊token由专家直接给出或主观假定的问题。基于这种情况,提出了通过模糊统计法来获得库所的模糊token,为成功应用模糊Petri网理论创造了条件。给出了计算模糊token的通用形式化算法。实例论证了模糊统计法在求取模糊token时的可行性与有效性。     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

基于Petri网的网络化快速原型制造过程建模研究

在分析网络化快速原型制造过程的基础上,给出了该过程的Petri网系统描述,并提出了其Petri网过程模型.该模型描述了网络化快速原型制造中多因素相互间的动态行为,解决了过程中各环节之间的并发性、异步性、分布性等问题.最后,运用可达树分析方法分析了网模型的活性.