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

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

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

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

基于工作流的模具敏捷制造过程中的Petri网建模

敏捷制造是一种新型的组织制造模式,以实现企业间的集团协作,实行不同厂家之间的优化组合,提高企业运行效率为目标。本文通过工作流技术和Petri网方法的有机结合,进行模具敏捷制造过程的建模,为制造过程的分析和优化提供依据。     

基于Petri网的工作流技术复合建模与系统分解

通过对工作流模型过程定义的分析，利用不同的模型机制聚合工作流建模及涉及的要素，认为工作流模型是一个基于信息模型、功能模型、组织模型和资源模型的复合模型，探讨了模型之间的逻辑关系，以及基于复合建模原理的建模步骤。在针对面向过程开展的资源配置研究的基础上，借助敏捷制造过程的应用实例，分析了基于Petri网的复合工作流 模型的建模步骤。根据分层和分块原则，对基于Petri网的复杂工作流模型的简化提出了一种分解策略，并以实例说明这种分解策略。     

基于UML和Petri网的工作流建模与优化研究

利用UML活动图和Petri网建模的互补性,提出了综合运用两种方法进行工作流建模和仿真优化,并通过实例分析验证了该方法的可行性与有效性。该方法从最基本的角度刻画整个业务过程,实现了业务过程重组与优化,有效地解决了工作流的柔性问题。     

基于广义随机Petri网的工作流性能分析

通过引入广义随机Petri网，将工作流管理联盟定义的工作流模型映射为广义随机工作流网络。利用广义随机Petri网与马尔可夫链的等价关系，得到一种Petri网与马尔可夫链理论相结合的工作流性能分析的新方法，为工作流性能的有效评估提供了理论依据，并通过实例验证，该方法可用于分析工作流模型的时间性能和资源利用率。     

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

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

基于Petri网的轻量级工作流引擎设计与实现

工作流引擎是工作流管理系统的核心。一个可复用、可扩展的工作流引擎将极大的缩短整个系统的开发周期。该文通过将Petri网映射到工作流过程模型,提出一种基于Petri网的轻量级工作流引擎的设计与实现方法。该工作流引擎能方便地嵌入到到各种体系架构中,可以容易地进行扩展,形成完整的工作流管理系统。     

基于Petri网的产品研发设计工作流的柔性建模方法

为了解决复杂产品研发设计工作流建模问题,提高产品研发设计工作流管理系统在运行中对动态变化的响应能力,提出了一种基于Petri网的柔性建模方法.该方法结合面向对象和分层的思想对Petri网进行扩展,利用优先级、变迁触发规则等属性规则描述了模型的柔性.该方法不仅可以降低产品研发设计工作流建模的复杂度,还可以支持产品研发设计...     

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

基于Petri网的位置敏感工作流建模与正确性验证方法。

针对移动业务过程中对位置信息建模和分析的需求,结合目前已有的工作流建模方法,提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础,结合6种描述位置之间关系的原语,以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系,然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于ProM平台开发了一个位置敏感工作流的建模工具,验证了所提建模方法的可行性和算法的正确性。     

基于Petri网技术的生产流程实体建模方法研究

为快速发掘制造企业生产过程中的瓶颈单元,提出了一种将Petri网和面向对象方法相结合的生产流程实体建模方法.该方法将生产流程中各个加工站点或生产单元进行高度抽象,抽象出一个个生产站点库所子模块,结合企业生产流程实际情况,将抽象库所进行排列组合,从而组建企业生产系统的生产流程实体建模模型,然后建立生产流程实体建模目标函数模型,采用模拟退火算法计算出产能最小单元,并结合Flexsim仿真软件对生产流程实体建模模型进行了三维动画运行仿真,从而发现了生产流程中的瓶颈单元,并提出了改善措施,提高了企业的产能和效益,从而验证了生产流程实体建模方法的实用性.     

判定工作流网S-可覆盖性的有效算法

为有效判定工作流网的孓可覆盖性,将工作流网的S可覆盖性判定转化为线性规划问题,借助单纯形方法给出一个判定工作流网孓可覆盖性的有效算法。对单纯形算法进行扩展,在判定工作流网孓可覆盖性的同时可以求出一组s不变量的极小支集。只要给定的工作流网满足孓可覆盖性,上述算法就可以求出一组覆盖所有库所的S不变量的极小支集。结合投诉处理业务流程实例对算法进行了验证。     

带数据工作流的形式化建模语言——数据感知的工作流网

为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析／一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。     

模糊时态工作流网的建模和时间可能性分析

现有的工作流模型中很少考虑时间不确定性,以及资源和变迁的有效时间约束问题。为此,通过对模糊时间Petri网的各个元素中引入时间约束,提出了一种工作流模型,即模糊时态工作流网,给出了该工作流网中各种时态元素的计算方法,并讨论了利用该网对工作流中的时态现象进行时间建模和时间可能性分析的方法。最后,用一个实例解释了这些方法的使用。模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模,并对一些典型的时间约束进行时间可能性分析。     

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

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

基于面向对象Petri网的多Agent系统交互协议建模

为了描述、分析和验证多Agent系统交互协议,提出了一种面向对象Petri网。与现有的形式化方法相比,面向对象Petri网能形象、直观地刻画多Agent系统复杂、并行的交互协议,可以描述其静态和动态语义,并可利用Petri网的数学分析方法对交互协议进行动态分析。面向对象Petri网还具有较好的模块性和柔性,能单独地分析参与交互的每一个Agent,而不会影响其他Agent和环境的状态。最后,利用面向对象Petri网描述了智能物理代理基金会请求协议和合同网协议,并对一个买卖Agent交互实例进行了建模和动态分析,验证了面向对象Petri网具有较好的建模能力。     

基于柔性制造系统的Petri网模型简化规则

为解决Petri网模型中的状态爆炸问题，提出了一种将简化规则应用到Petri网模型中的方法。该方法通过库所和变迁的合并与消除，来达到简化模型的目的。以柔性制造系统的加工站为例，建立加工站的Petri网模型，将简化规则应用到改进的加工站模型中。为了说明简化网保持了原网的外部功能，利用基于时序Petri网的时态逻辑规则进行了证明。结果显示，简化网在保持功能性的基础上，提高了验证和分析的效率。     

PLC控制系统的Petri网模型研究

运用Petri网方法,给出了PLC控制系统的建模准则,在此基础上,对PLC控制系统进行了性能分析和仿真研究。