基于面向对象赋时Petri网的工作流建模方法

介绍了一般Petri网代数表示的基本定义，分析了赋时Petri网引入时间因素的两种方式。将面向对象建模技术融入到Petri网模型中，形成了面向对象赋时Petri网模型，讨论了建立基于面向对象赋时Petri网的工作流模型的步骤。最后运用面向对象赋时Petri网建立了某制造企业业务流程的工作流模型，并运用可达树分析方法分析了网模型的活性。     

基于数据流约束的可配置业务流程分析与验证

可配置的业务流程模型通过隐藏、阻断或允许可配置业务过程模型中的某些片段来实现流程配置,在实际配置过程中可能会导致不正确的配置。针对这一问题,采用着色Petri网作为形式化模型表达业务过程模型,同时在流程的控制流加入数据流,将活动产生的数据流整合到基于数据流的业务流程模型,从而使待处理的业务过程模型具有数据流的语义。通过在业务流程模型中添加配置操作,将基于数据流的业务流程模型转换成基于数据的可配置业务流程模型。最后,使用ASK-CTL逻辑表达基于数据流的可配置业务过程模的型数据语义约束,然后应用着色Petri网的相应工具分析和验证了该模型的数据语义约束的属性正确性,表明了所提方法的有效性。     

基于着色解释Petri网的网络协议建模及协同仿真方法

为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网.借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法.作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模.在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法.基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用.     

B2B电子商务中的虚拟价值链研究

分析了B2B电子商务对传统价值链的影响，比较了物理价值链和虚拟价值链之间的异同，运用“协作－交易模型”来分析模拟价值链转移过程的参与实体间的关系，在此基础上建立了价值链整合，转移过程的企业价值网络模型，最后建立了基于Petri网的IPR－PN模型来对价值链迁移进行仿真分析。     

业务流程分析与优化方法研究

分析企业业务流程,并对其进行优化重构,对流程的高效有序执行具有重要意义。提出结合ABC法和Petri网仿真技术进行流程分析与优化的方法,论述了ABC法与Petri网、ABC法和Petri网理论仿真法在业务流程分析中的应用原理,并给出应用实例。     

基于Petri网的业务流程管理系统模型研究

Petri网是一个描述条件和任务之间关系的通用模型。在介绍Web服务和Petri网的基础上,结合电力行业某业务流程管理系统的实例,建立了一个基于Petri网的业务流程模型,在此基础上对简化后的Petri网进行死锁分析,以此作为业务流程建模的指导思想,可以提高业务流程系统的安全性、稳定性、健壮性。     

基于Petri网的海关业务流程工作流模型分析

Petri网作为当今最具有前途的建模工具,它的应用几乎涉及到计算机学科的各个领域。这里通过对基于Petri网的海关业务流程工作流模型的实例分析,最终得出优秀的工作流模型可以优化工作流程、提高企业运行效率、增强企业竞争力的结论,而且该建模方式也为设计与开发高可靠性、柔性和适用性的工作流模型提供很好的依据。     

基于Petri网的制造资源调度工作流模型研究

制造资源调度涉及分布、离散、并发等数据和应用的共享,基于工作流活动和扩展的Petri网研究能适用于制造资源调度的工作流模型。在该模型中,为了表示伙伴企业间复杂的协作过程,在传统Petri网的基础上扩展了着色Petri网和赋时Petri网;为了建立制造资源公共数据中心,利用代理技术集成制造资源和封装原有系统;同时,为了表示制造资源调度过程,利用扩展Petri网配置资源,并建立了基于Petri网的工作流模型进行过程仿真。最后,通过基于可扩展标记语言的工作流过程定义,在公用对象请求调度程序体系结构框架下,以Java和动态服务网页等开发工具构建制造资源调度原型系统。该模型的研究和应用能提高联盟企业在异地协作环境下共享资源的效率,为企业间的协作提供可行的方法和理论。     

一种扩展了条件和概率信息的Petri网

为了使Petri网具有根据Token中记录的信息和当前处理情况,进行处理路线选择和分析各个变迁及所有可能变迁集执行概率的功能,提出了一种扩展了条件和概率信息的Petri网.该网为经典Petri网的库所和变迁扩展了输入条件集、概率输出条件集及选择函数.通过条件概率Petri网的表示定义了其建模图的表达方法,通过运行过程分析描述了该网的运行原理,通过可达、死锁路线发现及概率计算的方法分析了各个变迁、所有可能变迁集及死锁路线的执行概率,并给出了死锁的解决策略.最后利用条件概率Petri网对叶片的制造过程进行建模分析,显示了其对复杂业务流程建模和指导优化资源配置的能力.     

基于Petri网的业务流程低频行为挖掘与优化分析

低频行为的挖掘是业务流程管理的重要内容之一,区分有效低频和噪音在业务流程优化中显得尤为重要。已有挖掘方法多是从数据属性研究低频行为,较少根据不同模块间的行为属性来分析低频行为,由此提出基于Petri网的业务流程低频行为的挖掘与优化方法。首先,通过用流程树切的直接流图表示日志的行为关系,并与初始模型做匹配,发现所有的低频序列;然后,计算日志与模型的行为距离向量,基于行为紧密度区分有效低频日志和噪音日志,优化事件日志;其次,利用不包含噪音序列的事件日志通过融合交互模块网与特征网,挖掘得到一个优化的业务流程模型;最后,通过具体的实例分析和仿真实验验证了该方法的有效性。     

基于 Petri 网的企业 CIM 系统建模方法研究

介绍了ＣＩＭＯＳＡ建模方法，指出Ｐｅｔｒｉ网是帮助企业建立正确和优化模型的有效方法。提出了一种扩展的有色Ｐｅｔｒｉ网方法——控制和集成网方法，并给出它的定义和符号表示形式，在此基础上研究了ＣＩＭＯＳＡ模型的Ｐｅｔｒｉ网表示法。     

一种工作流过程模型到工作流网的转换方法

为了便于非专业人员的工作流建模操作，利用Petri网现有的分析计算方法进行工作流模型的正确性分析和系统性能计算，给出了基于统一建模语言活动图的工作流过程模型建模方法，讨论了统一建模语言活动图到工作流网的转换方法，包括：非对象节点的转换、控制流边的转换、对象节点及对象流边的转换等。结合民航机场地面信息系统实例，对转换结果进行了分析。     

一种基于Petri网的功能/数据分析方法

为实现Petri网模型中的数据分析和功能分析,提出了基于关联矩阵的方法.以一个典型的企业信息化系统为例,采用Petri网建立系统模型来描述系统的功能结构和数据流程.基于关联矩阵分析了系统功能特性和数据正确性及两者间的关系;依据最近邻连接方法的思想提出一个聚类算法,以实现子系统的自动划分.结果表明,采用Petri网方法能有效地描述和分析数据与企业过程关系,促进基于Petri网统一模型的企业信息化系统开发方法的研究.     

Modeling FMS with decision Petri nets

Decision point extended timed Petri nets or decision Petri nets (DPN) are introduced as an extended modeling framework for FMS performance evaluation. The decision point extension allows the explicit modeling of the control of the flow of tokens in timed Petri nets and hence represents the control of the flow of material, resources, and information in FMS. Further, the concept of a bounded transition is proposed to conveniently model the blocking logic in an FMS with limited buffer capacities. The motivation to present these conventions is to develop a user-friendly graphic model to represent FMS designs for analysis by discrete event simulation. DPN affords concise models that can be conveniently developed and easily transformed into discrete event simulation models. With the help of a simple FMS example, which includes a number of part types, loading rules, dispatching rules, and probabilistic branching (at an inspection station), we illustrate the DPN model development. As an illustration of the ease with which it can be tranformed into a simulation model, we have developed a generalized simulator called ROBSIM and outline here its methodological basis. The proposed concepts should be of interest to users of discrete event simulation in FMS design or elsewhere to tap the potential of basic Petri net concepts for graphic representation and specification purposes. In particular, our work should encourage other researchers to develop extensions relevant to their own areas of interest.     

面向企业能源消耗过程的模糊Petri网模型研究

针对企业能源消耗系统模型的需求性,在分析企业能源消耗过程的特点和模糊Petri网基本原理的基础上,从实用、可行的角度探索基于模糊Petri网的企业能耗过程模型,详细阐述了面向企业能源消耗过程的模糊Petri网模型的定义和运行规则,并依据特定的建模原则,进行举例说明.模型的建立独立于特定的能源类型和用能设备,全面反映企业能耗过程及其影响因素,为进一步仿真分析企业能耗状况提供了依据.     

企业资源计划ERP的Petri网建模研究

阐述了Petri网的建模过程和一般方法,利用Petri网技术对企业资源计划进行分析与研究,建立了企业资源计划ERP的Petri网模型,该模型直观的描述了ERP系统的全貌及相关部件之间的关系,可以准确捕捉系统需求,对企业管理的理论研究和实际管理中的宏观决策都具有重要的意义。     

板材FMS基于规则的面向对象Petri网建模

基于柔性制造系统（FMS）的运行特点，提出了基于规则的面向对象扩展着色赋时Petri网建模方法，该方法集中了面向对象技术和Petri网的优点，并融系统决策规则于模型中，利用该方法建立了板材FMS的模型，为系统仿真和调度研究创造了条件。     

复杂系统动态可靠性建模及其数值仿真研究

分析传统可靠性建模理论存在的缺陷,提出复杂系统动态可靠性求解的可行方法.以系统结构、功能及故障分析为基础,建立系统可靠性随机Petri网模型,得到系统的状态空间及可能的故障状态,为动态可靠性数值仿真创造条件.以Petri网模型为基础,基于蒙特卡洛仿真求解系统动态可靠性指标,通过仿真,分析影响系统可靠性的关键因素.并以某城市排污液压系统为例,验证方法的有效性.     

采用Flexsim的生产系统建模与仿真研究

以生产线中一个典型的组成部分(两个机器一个暂存区)为例,介绍Petri网建模方法及其性能分析过程,将变迁实施时间为指数分布的Petri网模型转换成马尔科夫链(MC),得到了其性能指标的计算公式.由于Petri网模型理论计算复杂,提出了一种新的Petri网仿真方法,即利用Flexsim软件对Petri网模型进行仿真分析.通过与Geshwin[2]研究结果的比较,验证了此仿真分析方法的有效性.