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

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

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

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

基于Petri网的仓库备件管理工作流建模研究

基于Petri网的工作流建模技术具有描述功能强及结构简洁易懂的特点,阐述基于Petri网的工作流建模技术,并将其应用到企业仓库备件管理中。绘制基于Petri网的仓库备件工作流管理系统模型,然后运用工作流网的理论,对该模型进行了化简和合理性证明,为工作流管理系统的后续设计和开发工作打下坚实的基础。     

故障Petri网的激发矩阵方法研究

为了解决故障建模中如何较好地描述故障状态变化过程的问题,定义了带有激发矩阵的故障Petri网,对库所、变迁、激发矩阵、理想激发矩阵以及激发时间作了有别于传统Petri网的定义;将系统故障解释为源库所故障或者变迁的激发功能故障;依据变迁及其外延的一般形式,给出了故障Petri网的激发矩阵分析方法,由此提出了一种故障诊断算法.以某电源系统为例,设计实验对所提出的故障诊断算法进行验证,结果表明算法能够有效、可靠地诊断出系统故障.     

基于着色Petri网的工作流建模和合理性分析

针对工作流模型表达能力较差,以及合理性不容易验证的问题,将工作流管理联盟定义的工作流模型映射为工作流网络。通过应用统一的资源管理器和引入着色Petri网,得到着色工作流网模型,这种模型更简单、更容易计算机化。在定义并证明两种不会破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网,使所有工作流模型的合理性问题都可以在多项式时间里得到解决。     

产品开发ProA一般Petri网模型研究

为了定量描述产品开发ProA的内部运行过程,更好地支持产品开发管理,构建了产品开发ProA的一般模型.深入剖析了产品开发ProA的内部运行机理;利用多色集合的着色原理对Petri网进行改进,形成了多色ProA Petri网方法.在此基础上,建立了产品开发ProA的一般Petri网模型.最后,给出了该模型在汽车油泵单向阀测试器开发中的应用情况.     

Petri网模型在故障诊断领域的应用研究

结合故障诊断问题的特点,在基于Petri网基本原理的前提下,对Petri网在故障诊断领域的应用问题进行了研究,建立了故障传播、故障诊断网模型,对不确定逻辑关系的Petri网模型进行了研究,拓展了网的描述能力,对故障诊断问题的建模有着重要的作用。     

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

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

基于Petri网的自动化立体仓库复合建模研究

阐述了自动化立体仓库的作业流程,针对自动化立体仓库工作环节多、作业复杂的特点,使用Petri网建模和面向对象建模相结合的复合建模方法,建立了自动化立体仓库的整体层次模型和动态模型,提供一种解决复杂系统建模、分析和验证等问题的方法。     

业务过程模型的Petri网形式化检查方法

为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Petri网,构造出一种可建模企业问复杂业务协同的业务过程流网.采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和检查工具.采用业务过程流网对供应链中企业间采购订单过程进行了建模.实验结果表明,业务过程流网能将符合过程定义町扩展标记语占规范的业务模型完整地转换为Petri网,得到的Petri网易于化简和分析.     

一种新的基于Petri网的分层工作流过程模型

过程模型的描述能力和分析能力难以满足企业的要求,为此,提出了一种新的基于Petri网的分层工作流过程模型。在深入研究各种工作流模型的基础上,通过对基本网进行一定的扩展,给出工作流过程的分层模型。该模型由工作流描述模型和工作流分析模型组成。工作流描述模型直接支持所有工作流模式,特别是多实例、取消、高级同步等高级Petri网无法直接描述的模式。工作流描述模型在Petri网的基础上增加了控制变量,并将变迁划分为变迁入口和变迁体两部分。控制变量与变迁之间构成读写关系。变迁入口函数通过判断控制变量,消解工作流描述模型中的冲突;变迁体函数通过可扩展逻辑描述语句,实现对控制变量的读写操作。工作流分析模型作为工作流描述模型的分析模型,剥离了工作流描述模型个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型。最后,通过几个例子说明了如何使用本文提出的模型对各种复杂流程进行建模和分析。     

基于工作流的业务流程管理系统的研究与实现

业务流程管理(Business Process Manasement,BPM)是从相关的业务流程变革领域,如业务流程改进(BPI)、业务流程重组(BPR)、业务流程革新中发展起来的一个概念.作者针对企业信息化的具体情况,对业务流程管理作了理论研究,然后使用工作流管理在企业中实现了类似业务流程管理的一套管理系统.     

一种面向重构的业务过程模型

为提高业务模型的动态性和灵活性,提出了一种面向重构的业务过程模型RO-BPM。该模型由业务对象、业务操作、业务活动和业务过程等基本要素构成。在分析面向重构的业务过程模型应具备特征的基础上,定义业务对象的状态转换空间,根据业务活动导致业务对象发生的不同状态转换,将业务活动分为关键活动和辅助活动两类。业务过程即抽象为由关键活动构成的垂直子过程和由辅助活动构成的水平子过程的集成,以实现业务过程中频繁变化部分与相对稳定部分的分离。给出了RO-BPM中重构的分类和相应的实现机制,并通过实例验证了RO-BPM的有效性。     

The life cycle process [business model for systems engineers]

To fully comprehend any business organisational process environment, a structure has to be understood to measure or benchmark businesses against. When talking to people in business organisations about their concept of marketing, the importance of logistics, production, development or the positioning of a sales force within a company, there is no recognised model to use to describe the organisation. Within organisations the role and requirement of certain tasks are often issues that cannot be reviewed or modified, due to hierarchical, historical, territorial and parochial precedents. Change is often regarded as an enemy not a friend. ISO 9000 and business quality systems are beginning to establish-common practices within organisations but there is no definitive basic business process model to use. Concepts of what should be done where, when, why and by whom differ widely and this model attempts to provide a viable framework, via some simple diagrams, to measure other business processes against. The author presents a business model for systems engineers     

基于Petri网的虚拟维修动作流程层次化建模研究

本文将维修事件的维修动作流程自顶向下进行层次化分解,建立了各层次动作流程,借鉴并扩展了人机功效的动素概念,将维修动作细分至动素级。然后将动素过程流映射至Petri网,建立了虚拟维修动作流程Petri网模型。最后封装虚拟现实软件的基本动作函数为动素单元,利用Petri网模型实现了对动素单元的重复调度使用。基于Jack的验证结果表明,依据该模型可快速逼真地实现虚拟维修动作流程仿真。     

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

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

SMT工艺物料上站辅助系统

在电视机生产线上,SMT工艺物料上站辅助系统能够有效的辅助仓库操作员高效准确的进行基板元器件的配料,同时能够有效的辅助进行物料上站.SMT工艺物料上站辅助系统的研究及应用,大大提高了配料及物料上站的工作效率,同时降低了差错率,保证了电视机基板的品质.     

高速机车运动流场仿真分析及噪声研究

通过对高速机车车头运动过程进行流程分析,研究分析了高速机车车头压力随速度的变化情况,通过仿真得出高速机车车尾流线和湍流变化。由进一步仿真分析得出机车在高速运动中产生的噪声,以及在不同位置机车噪声的变化及噪声随机车速度的变化情况。此研究可对机车的设计及减小噪声等方面给予一定的指导。