共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
工作流技术正在成为计算机应用领域的研究热点。Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于用于工作流模型的建立。本文在介绍工作流和Petri网基本概念的基础上,给出了使用Petri网建立工作流的模型。 相似文献
3.
4.
基于规则对象Petri网的柔性制造系统建模 总被引:5,自引:0,他引:5
针对FMS建模中存在的问题,通过分析FMS的组成和活动特点,提出了规则对象Petri网的建模方法。该方法集中了Petri网和面向对象技术的优点,并融系统决策规则子模型中。利用规则对象Petri网,建立了FMS的资源对象模型、动态行为模型和调度决策模型,为设计、分析和调度控制提供了有效的工具。 相似文献
5.
基于Petri网的包装物流系统建模仿真与优化 总被引:3,自引:2,他引:1
采用离散事件动态系统理论和Petri网建模技术,研究包装物流系统建模、仿真与优化,描述和分析系统要素及逻辑序列.以纸箱包装物流系统为例进行建模、仿真,优化分析,获得了该系统的优化模型.结果表明,这种研究方法可行有效. 相似文献
6.
7.
针对当前虚拟维修过程中模型庞大,维修流程不可反复,部件间关系描述混乱等问题,论文提出一种Petri网和语义网络结合的过程建模方法——TJ(Training Join)网。TJ网上层利用语义网络对部件进行层次结构分解和资源规范聚类,实现子部件间逻辑互联;下层运用Petri网的变迁和触发规则提炼出Petri网元素模型,提高模型的通用性和建模效率。同时模型中的状态收集模块可实现部件属性状态间信息共享。最后,以虚拟维修平台中飞机电子设备架的维护为例,验证了TJ网的有效性。 相似文献
8.
9.
10.
高级Petri网及FMS的动态建模和仿真 总被引:3,自引:0,他引:3
给出了一种柔性制造系统模型,它能模仿和跟踪车间中散件调度计划的执行过程。模型由一类新的高级Petri网组成,它定义了着色令牌,时化变迁和谓词变迁,抽象了物理对象的主要属性和它们间的基本关联。通过数据库描述令牌属性,规则库描述变迁,构成了一种结构紧凑,信息丰富,可反映多个工作进程的高级Petri网模型。 相似文献
11.
产品协同开发过程具有层次性、分布性、离散性和动态性等特点,采用合理方法构建其有效的过程模型成为协同开发过程管理与优化的基础性条件.将有色Petri网(CPN)技术引入产品协同开发过程建模中,针对性地提出了产品协同开发过程CPN模型的描述性定义;并从协同开发特点出发,为支持基本过程逻辑的描述由工作流原语定义了基本网模型结构;为了描述复杂协同关系,结合模块化方法及库所变迁性质给出了扩展网模型结构的构建方法.该方法实现了将协同开发过程关系从基本到复杂都能映射到相应CPN网上,并通过实例进一步说明了该方法的有效性. 相似文献
12.
采用Petri网构造网络系统故障传播模型,并利用网络安全系统的层次特性,将网络安全系统逐级分解,级联,建立出更适用分析网络安全系统的Petri网模型,为具有网络拓扑结构的网络安全系统故障分析提供新的思路。 相似文献
13.
14.
首先根据办公的工作需求,提出基于Petri网的工作流过程建模、基于工作流技术的办公自动化系统结构模型。 相似文献
15.
潘伟 《中国新技术新产品》2008,(12)
作为高科技武器系统及作战系统的核心部分-C4KISR指挥自动化系统,在现代战争中发挥这日益重要的作用,其性能的优劣直接影响到能否取得信息优势和占据作战优势.未来一体化C4KISR系统的不断完善和发展,将帮助军队以更加准确的获取信息,掌控战场局面.由于一体化C4KISR系统的复杂性,必须在开发前进行仿真建模研究,以验证系统的可行性.该文主要采用UML与Petri网相结合,对C4KISR系统建立动态和静态的模型,对系统进行仿真建模. 相似文献
16.
针对目前基于网络服务业务过程执行语言(BPEL)的网络服务合成方法缺乏网络服务的兼容性分析机制,不能保证基于网络服务技术的业务过程正确执行的问题,建立了一种能从形式化的角度描述网络服务的接口交互情况的基于Petri网的多元工作流组合网模型,提出了一种能更快地获得网络服务可用性结果的网络服务兼容性判断算法.最后,提出了基于该算法的原型系统架构. 相似文献
17.
18.
首先根据现实世界中的工作流正确性的概念,给出工作流网正确性的形式化描述,并给出工作流模型的合理性的定义,最后提出基于可达数的合理性验证算法,从而快速完成工作流模型的分析与验证。 相似文献
19.
基于TOC和Petri网的业务流程重组方法 总被引:2,自引:0,他引:2
业务流程重组是企业根据市场和环境变化进行自身调整和完善,从而在竞争中取得优势的重要手段.通过Petri网建模可以对企业业务流程进行动态分析和控制,寻找制约企业盈利的最薄弱环节.在此基础上,应用约束理论(TOC)能够对业务流程中最薄弱的环节进行改进和重组,逐一消除制约环节,不断提升企业的竞争能力.在分析Petri网流程建模思路和约束理论基本原理的基础上,提出了基于Petri网和约束理论的业务流程重组方法,并进行了实证研究. 相似文献
20.
针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究。基于Petri网、GSPN模型的基本原理,提出了关键状态搜索算法,并进行了安全性仿真分析.将广义随机Petri网的扩展模型应用于安全性分析领域,丰富了动态系统安全性问题的研究手段。 相似文献