Petri网在旅游管理系统中的应用

随着旅游事业的不断发展,旅游业逐渐成为一些地区财政收入的主要来源.利用Petri网工作流建模方法,对旅游管理系统进行建模,并利用Petri网对其进行分析,实现旅游管理自动化的业务过程模型.     

基于Petri网的时间约束问题

为了解决复杂工作流模型中时间约束造成工作流崩溃问题,提出条件模糊时间Petri网工作流模型.首先给出条件模糊时间Petri网工作流的定义.然后给出模糊时间Petri网的三种基本模式的模糊时间推理,得到每种模式下Petri网工作流模型,同时在理论上验证所提出模型的必要性.最后通过实例说明根据条件模糊时间Petri网工作流建模,可以有 效地避免由于时间约束造成的工作流崩溃问题.     

基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

基于Petri网的电子政府采购的工作流建模

工作流技术在业务流程重组、办公管理及资源协调等领域获得了广泛应用,已成为系统建模领域广泛采用的方法.政府电子采购过程中应用工作流技术可有效地对采购流程进行重构和优化,Petri网是一种适合工作流过程建模的理想工具.政府电子采购过程的Petri网模型可以清楚地描述政府网上采购业务流程,解决政府采购过程中各环节之间的并发性、异步性等问题.     

基于Petri网的工作流模型设计

产品开发过程的建模、分析与优化是支持企业开发新产品的重要基础,而Petri网是一种行之有效的模型描述语言.论述利用Petri网建立面向企业新产品开发过程的工作流模型,并对其进行简化.     

Petri网在电信业务过程建模中的应用

工作流技术可以帮助电信企业提高管理水平 ,本文先介绍了工作流 (Workflow)的基本概念 ,然后阐述了Petri网在电信业务过程建模中的应用     

基于Peti网的WEB服务组合建模及验证

Web服务组合是为了应对日益复杂的业务处理流程,将单一的web服务组合在一起形成一个新的服务。正确的组合web服务是有效应用这些服务的前提,为此研究了利用Petri网组合Web服务的方法和web服务组合模型的验证算法。在对工作流和Web服务组合进行分析对比的基础上,借鉴基于Petri网的工作流建模技术,给出了一种基于Petri网技术的Web服务组合建模方法．采用直观的图形表示Web服务组合模型。结合Web服务组合模型的合理性定义,设计出Web服务组合模型合理性验证算法,利用库所向量和服务集合的表示方法对Web服务组合模型进行分析验证。最后用一个具体实例对Web服务组合建模和验证方法作进一步说明。     

基于面向对象有色Petri网的FMC模拟系统

分析了采用面向对象有色Petri网对FMC进行建模和分析的优点,并提出了将解释Petri网与面向对象有色Petri网相结合实现FMC模拟系统的方法。     

基于有色Petri网的政府电子公文通用工作流模型的构建

基于有色Petri网的基本理论和政府公文处理的国家标准,结合政府电子公文的处理特点,给出了收文流程和发文流程的形式化定义及其建模步骤,完成了政府电子公文通用工作流模型的建构,实现了流程再造,并且在基于Lotus Domino群件的平台上进行了实践和应用.     

故障Petri网在机械系统剩余寿命预测中的应用研究

机械故障伴随着故障信息由底层向高层动态的传播，在分析故障传播特性基础上，定义了故障Petri网(FPN)，通过引入过程库所，建立了机械系统故障信息传播模式的故障Petri网描述，提高了Petri网在机械故障领域中的时域建模能力，举例说明了如何利用FPN预测机械系统的剩余寿命。     

基于Petri网的出口物流系统建模研究

出口物流系统是由离散业务组成的动态的系统,其业务流特征是以信息的传递和处理来推动系统的运行。本文在介绍Petri网定义、变迁规则的基础上建立其Petri网模型,提出业务流在Petri网中的运行方法以及利用Petri网分析其业务流属性的途径。     

基于Petri网的企业业务流程集成的研究

传统的业务流程集成过程包含五个主要的步骤——业务流程集成建模、仿真、执行、监控和优化。这五个步骤组成了一个闭环,以期达到最佳的集成效果。虽然这个步骤已经得到广泛应用,但还是存在着一些不足。文章将上面提到的业务流程集成步骤与层次Petri网理论结合起来,提出了一个改进的业务流程集成步骤。这个步骤可以解决原步骤中执行周期长、消耗大的问题。同时,着重论述了其中的一个主要步骤——业务流程集成建模,这也为业务流程集成在实际项目中的应用奠定了理论基础。     

VLSI功能测试的最佳测试序列的选取

介绍了ＶＬＳＩ功能测试向量生成的Ｐｅｔｒｉ网模型和Ｐｅｔｒｉ网模拟测试序列中指令的关系,构造了压缩存储网络的拓扑信息的Ｐｅｔｒｉ网简约矩阵。用Ｐｅｔｒｉ网简约矩阵检查测试序列的不确定度,使测试序列不确定度最小,从而优化了测试序列,即从给定的指令中选出了最佳测试序列。     

基于规则的客户关系管理系统建模方法

客户关系管理系统(CRM)是提高企业核心竞争力的有力武器。以工作流和过程建模技术为基础,研究CRM系统的建模,是CRM系统的建立和顺畅运行的关键。因此,将动态过程建模的思想引入CRM系统的建模过程中,按照逐层分解的建模方式来简化系统的复杂性,并采用事件驱动的、基于扩展业务规则的方法进行CRM系统的过程建模和系统性能评价,是针对CRM系统进行建模的有效手段。通过以上方法,可以建立出全面支持CRM系统运行、监控、仿真和性能评价的过程模型。根据该方法建立的CRM系统的模型经过仿真实验和企业实际应用,证明具有良好的应用效果。     

基于UML活动图的工作流建模方法

对工作流管理系统的功能特性进行了分析,提出了一种工作流执行系统的体系结构,并详细描述了用UML活动图为工作流建模的过程.     

基于Petri网的企业高新技术产业化进入战略研究

讨论企业高新技术进入战略的类型，并运用Ｐｅｔｒｉ网理论对企业制订高新技术进入战略的过程进行了描述与分析。结果表明，Ｐｅｔｒｉ网理论在战略管理领域具有潜在的应用价值。     

改进的UML活动图在建模中的研究与实现

在分析工作流建模系统的基础上,介绍了UML语言的发展和优势以及存在的不足,提出了一种基于改进的UML活动图的工作流建模方法。通过一个具体的半导体制造企业工作中的封装测试的流程建模实例,描述了建模过程;根据角色对任务进行分配,对模型的执行做了分析。结果表明,运用改进后的UML活动图进行工作流建模,成功地改善了一些传统工作流建模过程的缺点,能比较完整、准确地描述工作流建模过程,加速了开发进程。