基于BOM/Petri网的业务过程工作流模型的设计与实现

基于BOM /Petri的建模方法在生产制造领域得到了广泛的应用和发展。业务过程的管理与生产制造过程有着许多相似之处,本文将生产制造过程BOM和Petri网技术应用于工作流建模,给出了定义和分析方法,对工作流的动态建模进行了论证。最合结合实例实现了计算机的模拟仿真。     

基于Petri网的工作流优化分析

工作流管理技术是实现企业业务过程重组、过程管理与过程自动化的核心技术。在工作流参考模型中,工作流验证和优化是过程定义工具的重要组成部分。在综述相关研究论文和经典Petri网理论的基础上,提出了基于Petri网的工作流合理性验证算法和过程优化算法。最后通过保险索赔过程的优化实例,验证了工作流优化算法的有效性。     

基于CPN的信息系统资源配置动态模型的建立

针对信息资源配置问题提出了一种基于有色Petri网的规范化建模方法,并对整个建模过程进行了详细的描述.提出了系统层次模型结构和执行图的概念,对执行图和Petri网之间的转换过程进行了分析、定义,从而减少了大系统建模的复杂程度和工作量.利用相关的计算机工具,可以方便地实现系统建模和对信息资源配置情况的评价、分析和调整.     

基于面向对象着色Petri网的工作流的研究

工作流管理一直是企业界和学术界研究的热点,而建模是工作流管理的基础,目前许多工作流模型都存在一定的局限性.Petri网具有是分析非线性自适应系统的良好工具,拥有强大的建模分析能力和算法,与着色Petri网结合,可以找到一种面向对象的工作流过程模型建模方式.     

建筑施工Petri网建模技术研究

本文基于网络计划采用赋时Perri网对施工计划建模进行了研究。Petri网能够以图形方式深刻、简洁地描述系统的动态过程,精确描述事件的顺序、并发和冲突关系,使系统形象化,有利于理解。网络计划技术已经在建筑工程实践中得到了广泛的应用,以网络计划为基础,采用Petri网对施工进度计划进行建模可以有效地降低施工建模的复杂性。本文首先讨论了网络计划和Petri网基本元素的对应关系,然后对Petri网进度计划模型的转变规则进行了研究,采用面向对象的技术分别对模型元素、元素之间的关系、模型的层次和性能评价分析的指标进行了讨论,从而确定了模型转换的机制。最后以具体工程实例说明了Petri网施工进度计划模型的生成,并对模型进行了分析,证明了采用本方法的有效性。     

基于Petri网的电子商务建模分析

针对电子商务系统中事件是随机并行发生的特点,提出了利用Petri网理论来化解事件冲突的观点,并对电子商务系统进行Petri网建模,利用矩阵方程对模型进行分析研究,以提升电子商务系统的整体运作效率.     

工作流技术在流程分析中的应用研究

流程建模、仿真和优化是企业变化管理的重要内容.工作流技术是近年来发展起来的流程管理信息集成技术,它为流程重组优化提供了有力的支持.但目前工作流的仿真能力还是比较薄弱的环节.另一方面出现了许多有效的流程建模和仿真工具,但它们的功能多是孤立的,大多不能支持建模、仿真和优化等环节的集成.为此探讨了它们在企业变化管理生命周期中的结合方法.上述结合综合了工作流和面向对象建模、Petri网仿真能力等方法的优点,增强了对流程的管理功能.     

基于着色时间Petri网的项目进度制定与优化

着色时间Petri网具有网络图、时间、着色令牌的三重特性,能够充分表达项目进度计划中的工序流程、工序工期以及资源的约束,可为资源约束下进度计划的制定与优化提供更为便捷、有效的方法工具。本文从着色时间Petri网的定义出发,给出了基于着色时间Petri网的项目进度计划描述方法;引入了资源调控层,给出了项目进度执行过程中资源的注入、分配和释放规则,实现了进度计划的仿真优化。     

基于高级Petri网的工作流分析模型研究

工作流管理的目的是控制、监督、优化和支持企业流程.而企业要在竞争激烈的环境中取胜,需要经常实施企业流程再造.为有效支持企业流程再造,企业面临着选择合适的业务流程实施工作流管理的问题.本文针对这一问题,提出了基于高级Petri网的工作流分析模型及规范化的建模方法.这种建模方法能够方便地实现对业务流程的建模,描述企业中多个工作流的动态特性.     

基于Petri网的信息系统建模

传统的信息系统建模技术主要有如以数据流图(DFD)为手段的功能建模和以对象图为手段的对象建模,它们多强调的是系统功能的实现,对系统性能的分析和评价能力则显得过于薄弱。本文提出的一种基于Petri网的信息系统建模技术,作为从实际问题到Petri网的桥梁,对于系统的实现是一种很好的模拟,它可以充分利用网论强大的图形表达能力和严谨的数学分析理论对信息系统的各种综合性能进行描述和分析,具有一定应用价值。     

面向角色的多agent 工作流模型研究

目前的工作流建模工具大多是面向活动、面向产品、面向目标或面向决策的,没有强调工作流 是多个角色主体协作的过程,工作流的绩效最终依赖员工及其角色的作用. 从角色及其合作的角 度,分析了面向角色的工作流模型及其表示方法,为工作流的管理提供新的思路. 在此基础上,研究 了角色、agent 和工作流的关系,给出了一种面向角色的工作流多agent 管理系统模型和原型.     

面向角色的多agent 工作流模型研究

目前的工作流建模工具大多是面向活动、面向产品、面向目标或面向决策的,没有强调工作流是多个角色主体协作的过程,工作流的绩效最终依赖员工及其角色的作用.从角色及其合作的角度,分析了面向角色的工作流模型及其表示方法,为工作流的管理提供新的思路.在此基础上,研究了角色、agent和工作流的关系,给出了一种面向角色的工作流多agent管理系统模型和原型.     

Algorithms for the workflow satisfiability problem engineered for counting constraints

The workflow satisfiability problem (WSP) asks whether there exists an assignment of authorized users to the steps in a workflow specification that satisfies the constraints in the specification. The problem is NP-hard in general, but several subclasses of the problem are known to be fixed-parameter tractable (FPT) when parameterized by the number of steps in the specification. In this paper, we consider the WSP with user-independent counting constraints, a large class of constraints for which the WSP is known to be FPT. We describe an efficient implementation of an FPT algorithm for solving this subclass of the WSP and an experimental evaluation of this algorithm. The algorithm iteratively generates all equivalence classes of possible partial solutions until, whenever possible, it finds a complete solution to the problem. We also provide a reduction from a WSP instance to a pseudo-Boolean (PB) SAT instance. We apply this reduction to the instances used in our experiments and solve the resulting PB SAT problems using SAT4J, a PB SAT solver. We compare the performance of our algorithm with that of SAT4J and discuss which of the two approaches would be more effective in practice.     

The workflow system and its applications

Recent information technological advances have led to the workflow system that provides an effective technical solution for productivity improvement and business process reengineering. Workflow is a network of activities, also commonly known as a business process, defined for a specific business objective. The fundamental principle of workflow technology is the separation of business process from (software) applications and data. This implies a flexible, adaptable system that can support dynamic business changes. This flexibility, however, is not built upon complexity. Instead, the system should be easily modified for a new business environment. On the other hand, a good workflow system facilitates individual tasks, and collectively the entire business process by providing accurate inputs (data, forms tools) and effective routing control. Workflow technology has a wide range of applications and, when appropriately implemented, can increase productivity, reduce operating costs, improve response to customer requests and shorten the business process cycle. A great opportunity for a company is in evidence to advance its competition edge to a new level through implementation of workflow technology in the next few years. This paper discusses workflow environments, system components, architecture, integrated applications for external program execution, and future trends.     

基于ECA规则的工作流时间约束分析

本文着重研究了工作流中各活动间的定量时序关系,提出了一种分析工作流中时间约束的方法。该方法针对基于ECA规则的工作流,通过建立及分析工作流的约束图,对工作流中活动间定量时序约束的一致性进行了分析,从而保证了工作流的正常运行。     

机遇发现的超图建模及应用

应用超图理论,分析了机遇发现过程中的实体并提出了映射的超图模型;提出了基于超图模型的机遇发现过程原子操作以及认知算法,并以我国商业银行转型为例给出了模型的应用, 最后给出了模型的改进方向.     

多功能机床环境下的Job Shop问题研究

本文引入工序机的概念描述加工系统的资源,建立了面向多功能加工机床的Job Shop作业计划模型,用遗传算法对所建的模型进行优化。在遗传算法优化搜索的基础上,利用工件、工序机和实际机床之间的动态调度使作业计划更趋合理。最后给出数值试验结果。     

工作流管理系统的体系结构研究

目前对于WFMS体系结构的研究主要集中在具体的应用上,尚不存在一种完全通用的WFMS体系结构。虽然工作流管理联盟为此制定了标准,但它所关注的仅仅是抽象的顶层结构,并没有涉及到底层模块的详细设计。本文采用自上而下的分层设计策略,提出了一种完备的通用WFMS体系结构。我们把WFMS分解为三个主要部分:设计模块、服务器模块和客户端模块,并分别对三者进行了详细论述。除此之外,为解决分布异构环境中的系统功能扩展问题,我们还设计了扩展模块;为克服工作流客户端的不断移动所产生的消极影响,我们使WFMS与其他平台之间的接口实现了标准化,从而保证了WFMS具有很好的灵活性和可扩展性。