一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

Formalization and Verification of Business Process Modeling Based on UML and Petri Nets

In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.     

基于Petri网的航空产品设计过程模型

通过分析航空产品设计过程的动态分解特性,提出任务驱动的产品设计过程建模.分析了IDEF0和Petri网在建模方面的优点和存在的问题,论述了设计过程的IDEF0模型向Petri网转换的原则和方法.并重点论述了设计功能单元任务流Petri网模型和设计功能单元内任务流时间Petri网模型.     

进程网建模工具的设计与实现

进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实现.在PrnTools中,以基本进程网为最小建模单元,并针对进程网的各种组合方式,定义了对应的XML保存格式;利用这些组合方式,可以从基本进程网组合成复杂进程网并保存为xml文件.通过一个实例说明了进程网建模工具的使用.     

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

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

单臂集束型装备随机Petri网模型与性能分析

针对因集束型装备配置非常灵活,运行模式多样造成的对装备性能分析困难的问题,提出一种用随机Petri网对集束型装备的运行过程进行建模,分析模型,计算装备性能的方法.利用工具Visual Object Net＋＋验证模型的可达性,活性,有界性.采用马尔可夫过程方法分析模型和计算性能.结果表明：该模型不仅可表现集束型装备的并发性,而且能表示出装备运转活动持续的随机的时间特性.与赋时Petri网模型相比,该方法更能反映装备实际加工过程.     

基于Petri网的贷款业务流程优化分析

业务流程优化分析在业务流程管理中扮演着重要的角色。基于Petri网对银行贷款业务进行建模分析,提出基于Petri网的贷款业务优化分析方案。首先从贷款业务流程的决策角度分析工作流网与数据流模型Petri网(DDP-nets)对建模的影响,结合两者优势提出数据决策Petri网模型的定义。然后通过建立贷款业务流程的数据决策Petri网模型,分析模型的合理性。其次利用两种方式对决策模型的决策变迁映射集(∑部分)完成实现。最后从普适性、模拟能力、简洁性角度与原模型分析对比,得出优化模型的优越性。     

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

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

业务流程重组中流程建模与重组效果评价研究

为了重组企业的业务流程，提高企业的经营效率，使企业在复杂多变的市场环境中更具竞争力，应用扩展的Petri网建模方法和建立评价指标的方法，从业务流程重组的基本原理出发，对业务流程的建模和流程重组的评价方法进行了研究，提出了完整的流程建模过程。给出了流程的数学及图形表示方法，提出了应用流程时间减少率来评价流程的重组效果，并分析了影响流程时间减少率的3种情况。通过实证研究，验证了这种方法的可行性。     

Petri网理论及其应用

Petri网是一种适于系统描述、分析和综合的图形数学工具,它的研究已引起了人们的普遍关注。本文着重讨论了一般Petri网理论,并对计时、随机和高级Petri网以及Petri网理论的应用进行了简要的介绍。     

基于Petri网的项目管理模型研究

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具.     

An SPN analysis method for parallel scheduling in Ad Hoc networks

In this paper, a new analytic method for modeling and evaluating mobile ad hoc networks (MANET)is proposed. Petri nets technique is introduced into MANET and a packet-flow parallel scheduling scheme is presented using Stochastic Petri Nets (SPN). The flowing of tokens is used in graphics mode to characterize dynamical features of sharing a single wireless channel. Through SPN reachability analysis and isomorphic continuous time Markov process equations, some network parameters, such as channel efficiency, one-hop transmission delay etc. , can be obtained. Compared with conventional performance evaluation methods, the above parameters are mathematical expressions instead of test results from a simulator.     

基于Petri网的军队院校学籍管理流程优化

针对军队院校教学管理系统中的学籍管理流程进行了分析,在此基础上基于Petri网理论对该流程进行建模,结合Petri网性质,找出了该流程中的弱点和缺陷,对军队院校学籍管理流程进行了改造。理论分析表明了再造后的流程具有良好的特性。     

一类自动制造系统Petri网的设计方法

根据自动制造系统工件工艺规程的形式化表示及通信顺序进程，提出了自动加工系统Ｐｅｔｒｉ网的一种综合方法，为研究复杂系统Ｐｅｔｒｉ网的设计理论提供了很好的基础。     

Modeling of photolithography process in semiconductor wafer fabrication systems using extended hybrid Petri nets

To describe a semiconductor wafer fabrication flow availably, a new modeling method of extended hybrid Petri nets （EHPNs） was proposed. To model the discrete part and continuous part of a complex photolithography process, hybrid Petri nets （HPNs） were introduced. To cope with the complexity of a photolithography process, object-oriented methods such as encapsulation and classifications were integrated with HPN models. EHPN definitions were presented on the basis of HPN models and object-oriented methods. Object-oriented hybrid Petri subnet models were developed for each typical physical object and an EHPN modeling procedure steps were structured. To demonstrate the feasibility and validity of the proposed modeling method, a real wafer photolithography case was used to illustrate the modeling procedure. dynamic modeling of a complex photolithography process effectively The modeling results indicate that the EHPNs can deal with the dynamic modeling of a complex photolithography process effectively.     

着色Petri网模型驱动的云测试生成方法与实现

为进一步提高测试生成效率,提升大规模测试生成的自动化程度,构建了一种基于着色Petri网模型的一致性云测试生成方法,称为PT-Cloud方法,并将该方法实现为可提供一致性测试生成服务的云测试生成平台.该方法利用MapReduce技术,实现了面向测试生成需求的被测系统着色Petri网模型重构和标记,并在此基础上以实际测试数据驱动一致性测试例的自动生成.经实际测试生成和执行实践验证,PT-Cloud方法能保证所生成的测试例是切实可执行的,同时有效提高了测试生成的效率和自动化程度.     

面向中小企业过程集成的数据集成平台研究

为满足中小企业对业务过程集成的需求，提出了支持过程集成的自动数据交换方法，开发了支持异构系统集成的软件平台.通过分析制造企业业务过程管理及其对集成的需求，构建了关系数据库与可扩展标识语言（XML）的映射模型，使用XML作为信息传递和交换的载体，通过导出映射模式将源数据库数据转化为XML数据，再通过导入映射模式将XML数据转化为目标数据库数据，采用自动控制的方式实现数据实时交换.该平台可以根据业务过程灵活设置，具备柔性集成的功能，实现业务过程自动的平滑无缝对接，便于企业内部协作.实际运用表明，该数据集成平台不仅可以满足企业内部的过程集成，还可以扩展到与外部企业的业务过程集成，适应电子商务的需求.     

工程管理信息系统与工作流集成技术研究

传统的工程管理信息系统在需求分析阶段缺乏高度的抽象性,使得最终的需求模型无法适应管理业务流程的动态重组.本文研究和探讨了工作流技术在工程领域应用时所涉及到的几个关键问题,主要包括工作流系统的建模方法、事务执行机制以及资源版本控制机制,并提出了一些行之有效的技术措施,比较适合于支持中小型工程设计单位的设计项目管理工作流系统.     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

Petri网络理论在电网故障诊断中的应用

论述了基于Petri网络理论进行电网故障诊断的方法，描述了故障元件、保护、开关之间内在的动作关系，提出了运用简单的矩阵计算进行诊断的方法，与传统的专家系统相比，大大减少了诊断时间，提高了准确度，适用于各种网络拓扑，网络测试表明：该方法快速、准确，适于在线运行。