基于Petri网的审批政务流程优化分析

本文利用Petri网对上海自贸试验区审批政务流程进行建模,接着运用Petri网关联矩阵、重组算法等对审批政务流程进行优化,使用可达树、S不变量等进行性能分析,最后使用Petri Net软件包对Petri网模型进行仿真模拟以验证其有效性,从而为政府改进政务流程、提高工作效率提供借鉴。     

同步Petri网的仿真及硬件实现

基于现有的EDA技术,针对同步Petri网和硬件描述语言的关联性,提出了用VHDL语言对同步 Petri网进行描述并实现。首先使用同步Petri网对控制器进行建模,然后使用VHDL语言对同 步Petri网控制模型进行描述,最终在EDA软件Max+PlusII中进行编译、仿真和适配,并下载 到FPGA中,通过实验开发系统GW48－CK进行硬件实现并测试。仿真波形及硬件测试表明了该 方法的正确性与有效性,这对于基于同步Petri网的控制器设计具有重要意义。     

相控阵雷达T/R组件的效费比随机petri网维修模型

针对T/R组件在备件库存、保障模式以及维修策略方面的特点,建立了两级维修保障体制下相控阵雷达的效费比随机Petri网模型。首先对随机Petri网性能存在的不足进行分析,并对其进行改进,引入抑制弧和全局时间,建立了多部件条件下不同连接方式的系统Petri网模型;其次以多部件当中的k/N系统连接方式为基础,建立了相控阵雷达系统的Petri网模型并进行实例验证;最后对模型中的使用可用度和单位时间维修费用进行分析。实例仿真表明,该Petri网模型可信度高,可以分析基层级和基地级初始备件数量、维修策略参数(m,NG)对系统保障效能的影响,克服了传统解析方法建模的局限,更加贴合实际。     

基于Petri网的物流配送研究综述

本文从Petri网在物流配送系统的建模与仿真中的应用、Petri网在物流配送业务流程的设计与优化中的应用两个角度出发,对2005—2013年Petri网理论应用于物流配送领域的相关文献进行分类和整理分析,并对其进一步的研究和发展趋势进行展望。     

基于四色Petri网的现代物流建模

本论文是在研究国外先进的物流理论、协同技术和工作流技术基础上,把物流系统中完整商务流抽象成存货流、资金流、商流和信息流,并基于经典Petri网的理论知识,为研究现代物流提出新的建模工具--四色Petri网。     

基于四色Petri网的现代物流建模

本论文是在研究国外先进的物流理论、协同技术和工作流技术基础上,把物流系统中完整商务流抽象成存贷流、资金流、商流和信息流,并基于经典Petri网的理论知识,为研究现代物流提出新的建模工具--四色Petri网.     

基于四色Petri网的现代物流建模

本论文是在研究国外先进的物流理论、协同技术和工作流技术基础上，把物流系统中完整商务流抽象成存货流、资金流、商流和信息流，并基于经典Petri网的理论知识，为研究现代物流提出新的建模工具——四色Petri网。     

Petri网用于工作流建模可行性研究

工作流技术作为一种过程建模的核心技术,在计算机应用领域获得了迅速的发展。首先介绍了过程建模方法的评价标准,然后讨论了工作流建模的几种主要方法,最后通过比较分析,得出使用Petri网建模要优于其他的建模方法。     

电子商务工作流模型的研究与正确性分析

<正>一、工作流模型概念到Petri网的映射Aalst在Petri网的基础上定义了WF-net,即工作流网。在工作流网中库所对应过程中的条件,变迁对应过程中的可执行活动,库所中的托肯代表一个过程实例。     

基于模糊Petri网的供应链风险传导模型分析

本文以模糊Petri网为工具建立了供应链风险传导模型,通过模糊Petri网的变迁激发规则分析各风险因素间的逻辑关系,并将模糊Petri网的推理算法运用在供应链风险传导的研究中,通过矩阵变换的方法将图形化Petri网的规则变迁转换成矩阵运算。研究结果不仅揭示了供应链各个风险因素之间的相互影响关系和传导路径,而且可以计算出每一风险因素对供应链发生故障的影响程度。     

基于协作图和Petri网的供应链知识流模型研究

供应链中蕴含着丰富的知识,但目前供应链企业对知识的利用效率不高。供应链知识流的研究可以为供应链企业获利。本文根据构造业务流程与知识流程集成系统的思想,研究供应链知识流集成模型。首先,本文在协作图与Petri网基础上提出了供应链业务流程模型。对知识的特性进行研究,并利用Petri网相关原理提出了基于知识特性的供应链知识流模型。之后将此两个模型相结合得出供应链知识流集成模型。     

高度综合化航电系统对象管理模型设计与应用

针对航空电子信息系统对象建模过程存在效率低下的问题,结合高度综合化航电系统特点,采用面向对象设计思想及建模方法,分析了航电系统对象组成及相互关系,研究了系统基类设计构型,并在此基础上提出了基于虚拟表单的高度综合化航电系统对象管理模型。该模型的应用为航电系统设计研制提供了灵活、动态的管理手段,在辅助开发设计人员对系统进行面向对象建模的同时,显著提高了系统研发管理效率。     

IEC61850在配网中的应用

在配网自动化中主站和终端的通信应用IEC61850是目前的发展方向。采用面向对象的建模技术和统一的配置语言可以提高设备之间的互操作性,减少通信配置,减少安装调试的工作量。IEC61850定义的通信服务映射完全适用于配网自动化通信。     

基于Petri Net和BPR的企业过程建模研究与应用

企业过程建模、分析和优化是企业过程重组BPR的基础,行之有效的建模技术是成功实施BPR的关键。为了对企业过程建模技术进行系统研究,在深入分析BPR特点的基础上,主要结合PetriNet技术,提出企业进行过程建模的阶梯层次方法,建立了BPPN模型,描述了Petri Net在企业过程中的形式化表示,并运用一个实例来验证模型的实用性,可以使管理者了解企业的生产细节和流程,更好地做出决策。     

PowerDesigner在信息系统模型驱动开发路线中的应用

阐述了PowerDesigner为模型驱动开发路线的不同开发方法构建的分析建模路径,总结了PowerDesigner根据信息系统生命周期建立各类模型的全程建模过程,模型主要包括需求分析模型、企业架构模型、业务流程模型、概念数据模型、物理数据模型、面向对象模型等,其中详细描述了物理数据模型(PDM)生成可用的不同数据库的过程.     

基于Petri网的审计预警系统模型

近年来,互联网金融蓬勃发展,其中网络信贷以其快捷、高收益、低门槛的特点给传统信贷带来冲击,然而网络信贷高收益背后的高风险也是显而易见的。本文针对信贷业务流程中的信贷风险因素,模拟各风险因素间的因果关系,采用Petri网构建信贷风险模型。利用模糊Petri网计算出各风险因素之间的传导概率,从而量化描述风险因素的传导机制,帮助审计人员更好地管控风险传导过程,有针对性地及时采取预防措施。     

基于IIEM的企业建模方法研究

在集成企业建模方法(IEM)的基础上,以一种基于可复用标准构件的改进的IEM建模方法(IIEM)来构建模型,该方法采用面向对象的建模技术和统一建模语言UML,通过构建可复用标准构件及扩充对象类和企业模型视图来实现企业模型,使企业模型具备了更好的适应性和主动性。最后通过一个实例说明了IIEM方法的可行性。     

基于HEM的企业建模方法研究

在集成企业建模方法（IEM）的基础上，以一种基于可复用标准构件的改进的IEM建模方法（IIEM）来构建模型，该方法采用面向对象的建模技术和统一建模语言UML，通过构建可复用标准构件及扩充对象类和企业模型视图来实现企业模型，使企业模型具备了更好的适应性和主动性。最后通过一个实例说明了IIEM方法的可行性。     

构件化网络攻击任务调度模型

通过对网络攻击单元和攻击任务进行分析,定义了网络攻击效果指标权重,同时提出了构件化的网络攻击单元描述和攻击序列产生和控制.在此基础上建立了网络攻击任务调度模型,给出了任务调度算法,为信息系统规模化层次测试研究奠定基础.并且根据该模型设计了网络攻击任务调度系统,并对其进行了相关分析.     

一种维修信息管理系统数据库的设计与实现

将面向对象技术和基于.Net体系机构的软件开发结合起来,用统一模型语言建模,选用Visual Basic.NET编程语言,运用SQL SERVER数据库等技术开发维修管理信息系统。