Petri网仿真语言的设计与研究

阐述了研究Petri网仿真语言的目的和意义，并简要地描述了Petri网仿真语言的设计及其相关问题，如性能分析、环境与工具的构造等，本文的研究对Petri网的工程应用具有基础性的重要作用。     

基于设计信息约束网的产品设计过程建模与仿真

从产品设计过程动态离散系统管理的实际需求出发,以在产品设计信息约束条件下设计活动的管理和优化为中心,提出设计信息约束网的概念,解决了各设计活动间信息约束关系的表达,给出了由设计信息约束网向基于Petri网的工作流模型转换的算法和步骤。最后,以某商用办公楼设备设计过程为例,进行建模和仿真分析,利用CPN Tools仿真软件验证了本文方法的正确性和有效性。     

Petri网的融合系统建模与仿真

Colored Petri网是Petri网建模与仿真技术的前沿,通过使用CPN-tools仿真软件对两种融合结构(集中式和分布式融合)进行建模。在同一运行规则下,通过设置相同的参数进行建模仿真,结果表明该模型和方法是合理和有效的,可以作为进一步仿真的基础模型。     

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

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

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

Petri网在时序建模中的应用

本文提出了一种对离散事件系统进行时序建模的TL／PN（时序／Petri)方法。文中描述了点－区间时序逻辑的形式定义体系,以及基于图模型（把系统的时序特性转化为图结构）的时序推理机（TIE）的原理和应用。本方法不仅可避免传统设计中的时序歧义和错误,同时推导出的新的时序关联还能识别用户自定义的有用区间。     

基于Petri网的多Agent系统设计与实现

以面向对象Petri网OPN为语义基础,从软件体系结构的角度,建立了一种直观的多Agent系统模型MASM,可以形象地描述Agent的内部结构和动态行为。为了缩小形式化模型与系统实现之间的差距,基于MASM设计了一个多Agent系统开发工具箱MASDT,提供了多Agent系统的基本实现框架。利用MASM对智能加油站系统进行建模和分析,并用MASDT开发了智能加油站系统原型,证实了所提出的一系列理论和方法对于实际系统开发具有一定的指导意义。     

基于电信领域通用建模工具的设计与实现

基于国家科技攻关项目研发中通用的建模模块设计和实现过程,将电信领域的实物和关系抽象为可以操作的模型.系统整体设计分为元建模阶段和建模阶段:在元建模阶段,通过对所研究的领域进行分析和抽象,构造出该领域的实体、关系、方面的元模型;在建模阶段,利用元建模阶段建立的元模型来约束建立特定领域的系统模型.通过2个建模过程,主要解决了应用领域在创建模型和模型间作用关系、模型间的消息传递机制等问题.     

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

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

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法。实验证明,该算法在实际应用中具有可操作性,有较强的现实意义。     

基于扩展时间工作流网的工作流过程建模

工作流管理系统中时间约束意义重大.为了在工作流模型中引入时间因素,对模型的时间性能进行评估,提出一种基于扩展时间工作流网模型.通过对模型进行形式化定义,描述了模型到工作流过程模型的映射,并针对工作流网模型存在的4种基本逻辑结构,提出一种时间线性简化规则;运用此简化规则,对工作流网模型进行压缩,以便计算所建模型的时间性能.最后结合一个工作流实例,运用提出的简化规则对约束上的常量时间进行了初步分析.     

Petri网在工作流技术中的应用

论述了Petri网理论和工作流技术,探索了Petri网和工作流技术相结合的优势和可行性,讨论了如何运用Petri网理论实现工作流管理系统部件——过程定义工具的分析功能,并部分实现了分析功能。     

基于高级Petri网的汽车零部件电子采购业务流程建模

针对汽车零部件电子采购流程中存在不确定性、并发性和资源共享,容易造成流程的冲突与死锁等问题,应用高级Petri网对汽车零部件电子采购业务进行了流程建模,通过对业务流程的可达性进行分析,较好地描述了流程中出现的问题,为流程的再造提供可靠的理论依据.     

基于Petri网的制造单元建模与仿真

运用基本Petri网建立了面向仿真的、分层的制造单元模型。通过对系统的分层,使位于下层的具体加工形式可扩展;而选择层使得制造单元可以运用与零件工艺相适应的调度规则和加工形式。对模型的性能进行了分析．最后给出了以此模型为基础的仿真应用系统,通过实例验证了模型的正确性和先进性。     

一种基于扩展WF-Net的工作流建模方法

工作流过程建模是实现工作流管理系统的基础和关键。在介绍工作流网（WF—Net）的基础上，重点介绍作者提出的一种扩展WF—Net的工作流模型，最后给出了该模型在药品营销工作流管理系统中的一个应用实例。     

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

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