基于随机时间Petri网的第三方物流业务流程建模与分析

以流程为核心对供应链进行再造是优化供应链的重要措施．而对流程进行量化的分析评价是近年来流程再造研究的热点．Petri网以其兼备图形化的描述方式和严格的数学定义的特点而成为目前流行的业务流程建模工具．给出随机时间Petri网的定义及其性能评价方法之后,对第三方物流业务流程进行建模和分析。     

机器人装配过程任务级控制的同步Petri网方法

采用同步Petri网对机器人销孔装配过程进行建模,研究了任务级上装配状态变迁路径的评价方法及优化算法。由于装配作业存在零件定位、工件运动和传感信息等诸多不确定性和突发事件,使得预先编制的装配作业程序容易发生故障,通过对装配状态变迁过程中的力／位姿信息进行分析,可以建立销孔装配过程的同步Petri网模型,并实时产生优化的装配状态变迁变列。所提出的任务级控制方法可用于指导产生具体的装配状态变迁的速度指令,并可在错误的装配状态发生时收敛到最终装配状态,销孔装配试验证明了该方法的正确性。     

一种虚拟企业业务过程集成化建模方法研究

敏捷虚拟企业（即动态联盟）是21世纪组织管理形式,在CIMS工程实施中,对虚拟企业的建模和优化工作的研究越来越显现出其重要的地位和紧迫性。作者提出了一个适用网络化虚拟企业业务过程动态优化的一体化建模方法IEPU,该方法集IDEF0、扩展事件过程驱动链（EEPCs）、扩展Petri网（EPN）和标准化面向对象的建模语言（UML）为一体,其在层次上是从上到下逐渐细化过程。符合从功能分析、详细设计到具体实施的生命周期。使用该方案可以弥补单一方法的不足,优势互补,最适合复杂企业特别是虚拟企业的建模、分析和优化。并着重对建模过程中EEPCs到EPN之间的转换进行了讨论。     

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

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

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

运动想象脑机接口系统的Petri网建模方法

针对脑机接口(BCI)中的共享控制问题,提出一种BCI系统的Petri网建模方法.首先,将共享控制策略与BCI系统的内外部信息相结合,构建运动想象BCI系统的Petri网模型,描述系统的运行状态,分析和改进共享控制策略.然后,加入控制库所描述系统的外部输入,并通过合成Petri网的方法简化Petri网的建模过程.结果表明:所提方法能够正确地演化BCI系统的运行过程,提高BCI系统的适用性,可用于设计、验证和执行共享控制策略.     

Internet的产品快速原型制造过程建模

过程建模是过程管理和集成的基础．在分析基于Internet的产品快速原型制造过程的基础上,分别利用IDEF3和Petri网方法建立其过程模型．描述多因素相互问的动态行为,同时解决各环节之间的并发性、异步性、分布性等问题．分析并比较IDEF3和Petri网方法的优缺点,提出以Petri网为主、IDEF3为辅的过程建模策略．     

Petri网在电信管理网可信性建模中的应用

介绍了ＴＭＮ（电信管理网）可信性建模的一种新的方法———Ｐｅｔｒｉ网。首先简要介绍了Ｐｅｔｒｉ网的基本概念和Ｐｅｔｒｉ网的特性分析,然后描述了用Ｐｅｔｒｉ网进行建模的一般方法并举例说明了它在ＴＭＮ可信性建模中的应用。最后还介绍了一种自动生成可信性Ｐｅｔｒｉ网模型的方法。     

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

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

基于着色Petri网理论的通信装备维修系统建模

讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造,克服了以往用普通Petri网建模的不足,细化了其系统模型的中间操作过程,有利于模型分析和仿真实现。     

电信业务特性集成的时序着色Petri网模型

提出了一个电信系统业务特性集成的建模和检验方法。根据这个方法，现有的系统和新的业务特性分别表述为一个着色Petri网，业务特性的功能可表述为时序逻辑公式（称为功能公式），而业务特性的行为可表述为实现这个着色Petri网的变迁不变量（T不变量）的引发序列（称为业务）。通过检测业务是否满足功能公式，可对业务特性进行检验。     

三维装配工艺模型的数字化建模方法

为实现基于三维模型的装配工艺设计,研究了三维装配工艺模型的数字化建模方法. 根据装配工艺设计过程的特点,将三维装配工艺设计过程分为粗装配工艺设计阶段和精装配工艺设计阶段. 针对不同的工艺设计阶段,为三维装配工艺模型提出了3种阶段工艺模型,分别为拆卸工艺模型、粗装配工艺模型及精装配工艺模型,建立了不同阶段模型及辅助工艺信息的表达方法和模型信息间的映射机制,详细阐述了3种阶段工艺模型的建模过程. 基于上述建模方法,开发了基于三维模型的装配工艺设计系统,以一个发动机模型验证了文中提出的建模方法的正确性.      

基于CRPN模型的复杂系统故障诊断

由于复杂系统的结构和运行环境复杂,传统方法无法对其进行故障诊断.文中将基于案例的推理方法和Petri网理论引入到复杂系统的故障诊断中,建立了基于案例推理和Petri网的CRPN(Case-based Reasoning Petri Nets)模型,研究了该模型的变迁规则和案例特征等关键技术.利用两层CRPN模型,可有效地解决已有复杂系统故障诊断方法中存在的模型难以建立、推理过程模糊等问题.最后以飞机的某系统为例,探讨了基于CRPN模型的故障诊断过程,结果表明文中方法是有效的.     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

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

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

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模。由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具。本文在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型。最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性。     

基于特征的液压集成块CAPP系统建模

针对传统CAPP系统难以与CAD系统有效集成，设计信息和知识难以重用等问题，提出了基于特征的液压集成块CAPP建模方法．该方法在对液压集成块设计制造特点进行深入分析的基础上，采用了面向制造的特征映射技术，其特点为将特征映射分解为工艺映射和加工映射．工艺映射实现单个设计特征的工艺创成，加工映射则实现工艺特征中特征工步的操作具体化，然后通过工序重组实现整个液压集成块的工序和工步创成，最后通过工序和工步排序完成最终的工艺规划．应用该方法所开发的液压集成块CAPP原型软件系统表明，该方法可有效降低传统特征映射技术的复杂度，使得CAPP系统更具阶段性和层次性，并充分重用了设计信息及知识，较显著地提高工艺设计效率．     

一种基于用例和Petri网的业务过程建模方法

在给出用例及其相关概念的形式化定义的基础上,构建了从用例到Petri网模型的映射算法;提出了一种基于用例和Petri网的业务过程建模方法.它先以用例来捕获需求,再用Petri网来图形化用例,以此来实现它们各自优势的互补.并且通过引入工作流建模中任务(task)这一概念来统一了用例描述的语法形式.     

基于集控Petri网方法的面向对象建模和仿真工具

传统的Ｐｅｔｒｉ网方法不能解决实际系统运行中出现的不确定性,资源共享等问题。该文定义了一种扩展有色Ｐｅｔｒｉ网——集控Ｐｅｔｒｉ网方法。它通过引入过程变迁,不确定性弧,全局库所和赋予每个托肯一个数据结构增加了Ｐｅｔｒｉ网的建模能力。重点讨论了使用面向对象方法设计和开发的基于集控Ｐｅｔｒｉ网方法的建模和仿真工具。给出系统的面向对象的类层次结构、核心数据结构和用户界面为了便于和其它建模和仿真工具进行有效的集成,所设计的软件采用了中性文件的机制来保存模型结构和数据。     

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

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