基于Petri网的离散制造过程建模工具

通过分析离散制造系统的基本组成元素和离散制造过程的特点，将有色时间Ｐｅｔｒｉ网中的颜色元素进行面向对象的扩展，分别对离散制造系统的硬件组成，行为方式的控制方式建立模型。通过模型的仿真运行模拟离散制造过程的控制信息和数据的流动情况，为离散制造系统的设计，规划，调度，控制等问题的研究提供了一个有效的工具。     

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

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

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

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

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

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

基于Petri网的建模支持

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

基于分层赋时着色Petri网的临床路径建模

为了实现按病种设计的最佳医疗护理诊治方案和建立临床路径诊治系统,提出一种基于分层赋时着色Petri网(HTCPN)对复杂病种建立临床路径模型的方法,实现了对诊疗状态、信息流转及诊疗活动间的关系的可视化监控.基于标准元语言(SML)函数的设计,所建模型支持诊断决策信息和检查结果的实时输入,同时能够预测分析变异情况并实现路径的自动调整.设定任务时间戳对不同的患者到达速率分布进行数据仿真,基于仿真结果给出资源配置建议以改善临床路径实施效果.实验结果表明,基于HTCPN的临床路径在定性定量分析医疗诊治流程的基础上可以优化临床路径,继而为建立临床路径管理系统提供了依据.     

一种基于Petri网和因果关系矩阵的事件日志过程挖掘方法

提出一种基于Petri网和因果关系矩阵的事件日志过程挖掘方法.基于Petri网和因果关系矩阵的事件日志过程挖掘算法,利用因果关系矩阵进行过程挖掘,其过程模型可以更好地匹配系统产生的事件日志集.     

基于用例的层次Petri网建模

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

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

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

基于混杂Petri网的食品加工生产过程建模

根据食品加工过程的混杂特性,提出了一种基于时延混杂Petri网与微分方程机理建模相结合的方法,并对某食品加工过程进行了建模和分析,其模型体现了连续过程和离散事件共存的特性,具有一般性.此模型可以应用于生产过程的优化调度.     

基于面向对象Petri网的配送业务流程建模

要建立满足企业需求的快速、高效的流程,对流程进行建模、仿真、分析优化是一种比较科学且经济的方法。现有的研究工作,主要有IDEF系列、ECAA（事件-条件-动作规则）、Petri网等建模方法。其中,Petri网以其独特的优势而成为当今比较流行的建模方法,它既有严格的数学定义,又具有图形表示方法,可用于复杂系统建模。在介绍基本Petri网的概念后,又给出了面向对象Petri网的定义,分析了它的特点,并以面向对象Petri网作为工具,建立了配送业务流程模型,旨在以模型为基础进行流程性能分析．为流程优化提供分析手段。     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

基于Petri网的柔性工艺规划

论述了产品制造过程中的柔性工艺产生的原因及其工艺柔性存在的意义。在分析了CAPP中的柔性工艺与Petri网之间存在的相同特性关系、柔性工艺Petri网与生产调度Petri网之间的融合关系的基础上，推出了基于Petri网的柔性工艺模型，并对模型与关联矩阵的转换进行了描述。这种方法为CAPP与生产计划调度的一体化集成提供了一种新的途径。     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

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

工作流仿真模拟工作流执行的环境,高效、低成本、快速地执行工作流过程,通过分析仿真结果,来发现模型中存在的问题,达到工作流优化和重组的目的.仿真模型是仿真的前提和基础,该文介绍基于Petri网的工作流模型,讨论了在此模型基础上如何添加仿真信息,映射基于Petri网的仿真模型,并以工作流仿真的部署,说明了仿真建模的研究.     

基于DAML-S和扩展Petri网的Web业务流程建模方法

为实现Web上业务流程动态装载和调用以及跨企业业务流程的动态集成目标,提出了一种Web上的业务流程建模方法.该方法扩展了具有良好过程建模性能的Petri网,并将其与Web服务描述的本体语言DAML-S相结合.首先将Petri网扩展为业务流程建模,用DAML-S来描述流程模型,然后利用结合了DAML-S的UDDI注册中心来查找最佳服务,并在执行阶段动态调用合作伙伴提供的Web服务,从而实现了在企业间相对通用的一些业务流程的动态集成.通过一个实例对整个过程进行了验证讨论.     

Petri网在复杂系统建模中的意义

图灵机模型是计算机的理论模型,它能实现模型相互之间的模拟,但应用于通信系统等异步、并行的复杂系统却很难模拟,从而引入了一种建模工具--Petri网.通过介绍自动机和图灵机的原理.分析Petri网.给出一个具体的基于Petri网建模方式的实例,并对实例模型和现有的建模工具进行比较,从而证明Petri网在复杂系统建模中是处于优势的.     

基于Petri网的MES系统形式化建模

针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模.对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3个模块进行集成建模.最后根据Petri网理论知识,对MES的Petri网模型复杂度与结点特性进行分析和研究,建立一种行业通用的、结构简单易扩展、灵活性强的Petri网模型.     

基于Petri网的机务工程管理工作流建模

通过采用先进的流程建模技术实现机务工程管理的现代化、科学化已成为非常迫切的任务.本文采用基于petri网的工作流建模技术能够更好的适应由于航空机构改革所带来的机务工程管理信息化的演进与完善.