基于Petri网的工作流在电子政务系统中的建模与分析

电子政务系统是目前研究和开发的热点之一。采用基于Petri网的工作流对电子政务系统进行了建模与分析,首先说明了在工作流中运用Petri网的优点,然后将Petri网与工作流相结合,建立了电子政务系统的工作流网模型,最后运用Petri网理论对所建模型的正确性进行了定性分析,并对模型的子系统网上投诉系统的资源分配情况进行了定量分析。     

层次工作流Petri网建模与分析

当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。该文详细论述了一种基于Petri网的、用于复杂工作流模型设计的层次建模方法及其相关规则,并利用四种Petri简化规则对工作流模型的正确性进行了验证。同时提出“区”的概念并藉此分析了工作流的动态建模问题。     

基于Petri网的工作流技术在审批流程中的应用

工作流是近年来在计算机应用领域发展迅速的技术,通过介绍工作流技术和Petri网及其建模模型等知识,引出Petri网模型建模,利用顺序路由模型,对工作中的助学金报送审批流程实例进行建模,分析了模型中消耗人力时间较多的环节,通过整体模型调整分析,提出了提高工作效率的建议和方案.     

基于Petri网的工作流模型时间性能分析

利用高效的建模技术来构建复杂的业务流程,一方面可以提高模型形式化表示的可读性,另一方面便于进行模型性能分析,确保模型在投入使用后的正确性。阐述了利用Petri网技术的严格语义,来构建流程模型并进行性能分析的过程。首先指出时间性能对工作流性能分析的重要性,然后介绍了Petri网和工作流网的定义、工作流基本路由结构的Petri网表示,及其对应的性能等价公式,最后在这些基本定理的基础上,通过一个购车流程的实例来构建模型,并对其时间性能进行分析,证明了利用Petri网技术建模的合理性和优越性。     

基于Petri网的协同三维建模工作流模型研究*

通过分析大规模三维场景单机建模所面临的局限性问题,对三维场景协同建模理论进行了描述。结合workflow net的定义以及建立工作流模型的方法,采用基于Petri网扩展的、用于复杂工作流模型设计的建模方法建立协同三维建模的工作流模型,并通过Petri网相关理论分析得出所建模型具有可达性、有界性、活性,并且是安全可靠的,同时对系统中必须加以解决的并发问题进行了相关的探讨。     

基于面向对象Petri网的组织间工作流建模

工作流建模是工作流技术研究的基础,目前工作流建模多集中在组织内部业务流程建模方面,对于组织间工作流建模研究较少。提出一种用于组织间工作流建模的扩展的面向对象Petri网描述规则,并针对经济运行中常见的一种生产交易流程进行建模。得到单个对象和系统整体的面向对象Petri网模型,然后在此基础上进行系统结构活性和有界性分析。通过针对实际问题的建模验证,阐明了该规则的有效性和实用性。     

基于petri网的电子政务工作流建模研究

以电子政务系统中的审批子系统为例,研究了一种基于Petri网的电子政务工作流建模方法,该方法是工作流建模和分析的理想工具．具有完全形式化的图形表示和坚实的数学基础。在建立电子政务工作流工作流模型的基础上,论证了该方法的正确性,表明该方法对电子政务系统建模是实用的。     

基于着色工作流网的工作流模型的设计与实现

本文在扩展Petri网的基础上,提出了一个新的工作流模型——基于着色工作流网的工作流模型,并对其进行了详细设计。在此模型的基础上,本文实现了一个可视化的工作流建模工具,设计人员通过该工具建立业务过程,并根据模型的定义保存业务过程定义。     

基于链表遍历模式的TCPN映射算法研究

对业务流程的建模分析是建立在工作流网的理论模型上的,因此需要合适的算法将建模工具中用户建立的有向图映射到工作流网.针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,给出了赋时着色Petri网定义,并提出了一种基于链表遍历方式的业务流程到工作流网的映射算法.重点研究了工作流模型基本控制结构的映射规则及其相关证明,并给出了该算法的具体实例.     

基于petri网的电子政务工作流建模研究

以电子政务系统中的审批子系统为例,研究了一种基于Petri网的电子政务工作流建模方法,该方法是工作流建模和分析的理想工具,具有完全形式化的图形表示和坚实的数学基础。在建立电子政务工作流工作流模型的基础上,论证了该方法的正确性,表明该方法对电子政务系统建模是实用的。     

Verifying soundness of business processes: A decision process Petri nets approach

This paper presents a trajectory-tracking approach for verifying soundness of workflow/Petri nets represented by a decision-process Petri net. Well-formed business processes correspond to sound workflow nets. The advantage of this approach is its ability to represent the dynamic behavior of the business process. We show that the problem of finding an optimum trajectory for validation of well-formed business processes is solvable. To prove our statement we use the Lyapunov stability theory to tackle the soundness verification problem for decision-process Petri nets. As a result, applying Lyapunov theory, the well-formed verification (soundness) property is solved showing that the workflow net representation using decision process Petri nets is uniformly practically stable. It is important to note that in a complexity-theoretic sense checking the soundness property is computationally tractable, we calculate the computational complexity for solving the problem. We show the connection between workflow nets and partially ordered decision-process Petri net used for business process representation and analysis. Our computational experiment of supply chains demonstrate the viability of the modeling and solution approaches for solving computer science problems.     

工作流模型的有向图表示及基于Petri网的验证方法

该文从工作流模型的基本结构出发，描述了模型结构的有向图表达方法与建模方式，提出了一种将有向图转化为Petri网的转换算法，说明Petri网与工作流网的关系，之后运用Petri网的分析技术来验证模型的正确性，为电子政务领域内工作流模型的正确性验证提供了一种解决方案。     

工程项目工作流的Petri网表示及模型建立

根据工程项目产品实现过程与工作流组成的相似性,将工程项目的微观工作任务分解为基于工作流管理范畴的一个有机活动的操作序列。引入赋时Petri网和着色Petri网分别对项目活动的工期、项目所需的资源等属性进行描述,建立基于赋时着色Petri网的工程项目工作流模型,并分析资源配置规则和资源调用过程,为项目多活动、多任务间的协同管理打下基础。     

工作流网Soundness验证

工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法。     

流程业务化定制中的工作流建模方法研究

针对流程业务化定制的需求,提出了一套面向业务人员的、直观易用的工作流建模方法.首先定义了一种基于有向图的工作流模型.在该模型的基础上,通过设置建模规则来规范业务人员的建模行为,使得无需模型验证就能够保证所建过程模型的正确性,从而回避了传统的有向图方法在模型分析方面的缺陷.最后将这套建模方法转化为Petri网的形式来描述,并利用Petri网的分析技术证明了该方法的可靠性.     

基于着色Petri网的工作流建模

为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适台于工作流的事件一条件一动作规则引入着色工作流网,提出了基于ECA原语的工作流模型描述机制。     

基于数据集约束的并行数据流建模与描述研究

为了简化带有数据集约束的抽象网格工作流语言(AGWL)的工作流建立过程,提出了一种基于扩展面向对象Petri网(DOPN)建模并行数据流的方法.研究了AGWL并行数据流的特点,在此基础上对面向对象Petri网进行扩展,设计了基于扩展面向对象Petri网描述的并行数据流模型,之后定义一套从DOPN到AGWL的映射规则.最后通过一个应用实例对一个带有数据集约束的数据流建立DOPN描述,并生成AGWL数据流代码.该方法简化了AGWL工作流建立过程,并保留了流程验证和仿真的扩展性.