关于着色Petri网的工作流建模的研究.pdf

摘 要 近几年来，工作流管理技术被业界广泛采用并得到了迅速发展。工作流管理最重要 的功能之一就是工作流建模。这些预定义的过程模型必须能很好的反映实际业务流程， 因此需要找寻灵活的工作流过程形式化表示方法及过程的执行策略。 Aalst的工作流网已被众多研究人员所认同，它是基于经典Petri网所建立的。但是， 传统Petri网具有一些固有的缺陷：当系统过于复杂时，由于状态太多，容易引起状态 作流网模型，解决了建模过程中的两大问题：资源调用问题及业务处理过程的建模问题。 该模型对业务过程的描述有很强的表达能力，支持对工作流模型的分析与验证。本文对 流程中独立出来，采用统一的资源管理器管理。设计了资源管理器的基本模型，解决了不 确定性活动的建模问题和资源的申请／释放问题，以及多个实例时的可能发生的混乱状 流程模型到着色工作流网的映射算法，采用对链表遍历的方式来映射业务流程。该算法 先给出基本结构的映射规则，然后遍历工作流程模型即有向图，对图中的每一个状态结 色工作流网，此映射算法能实现着色Petri网建模。 在给出建模方法的同时，本文还论述工作流模型的合理性验证。介绍了仿真分析方 法，并以一系列的实例说明了每种分析方法的具体应用。论文最后给出了一个实际的应 用案例的过程模型。 最后对本文的研究工作进行了总结，针对不足之处提出了改进的措施，并展望要进 一步深入研究的方向，为后续工作奠定了基础。 关键词：工作流，过程定义，着色Pelri网，工作流网，资源 ResearchonWorkflow BasedonColoredPetriNet Modeling Wd TecllIlology) Xiao—hui(ComputerApplication DirectedZhu by Lian—zhang Abstract been to Managementtechnology,adevelopingtechnology,hasapplied Recently,Workflow rapidly model trades．Themost functionofworkflow is must many important managementsystemmodeling．The to reflectbusiness it’S finda to work_flow necessarywayexpress process． process，and Petrinet． Morenumerousscholarsand haveidentifiedwithworkflownetbasedonclassical specialists concurrentconflict．Andit visualand Candescribe and makes It,therefore， sequence， system somelimitations：Itisdi历cult