面向对象Petri网在制造系统建模中的应用

本文介绍了制造系统的概念及制造系统建模的目的和意义,针对制造系统建模的特点,利用面向对象Petri网(Object-oriented Petri Net,OOPN)对其进行建模和优化。系统地介绍了OOPN建模优点及其在系统建模中的应用现状,分析了制造系统建模特点,探讨了制造系统建模的具体流程。最后结合生产车间制造系统建模实例,进一步阐述了OOPN技术在制造系统建模中的应用。     

基于Petri网的政府决策支持系统设计模型

政府决策支持系统是政府直接为企业和公众提供服务的一个平台,也是政府实现科学管理和整合业务流程的关键,是电子政务的重要组成部分。Petri网作为一种系统分析和建模工具,特别适合于描述并发和分布式系统。利用Petri网技术构建政府决策支持系统,能够有效地分析系统设计的静态结构和动态特性,提高系统开发效率。本文提出了基于Petri网技术的政府决策支持系统设计模型,分析了系统结构和工作过程,模型自适应性和鲁棒性好。     

基于Petri网的OA工作流模型的研究与设计

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模技术。本文以发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

一种基于Petri网的模型调度方法

针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析.该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题.应用实例和实验结果验证了该方...     

基本数据链路层协议的Petri网模型分析与优化

数据链路层位于网络体系结构第二层,向网络层提供统一界面。因此数据链路层协议的设计分析有着比较重要的意义。本文对一个基本的数据链路层协议原有Petri网模型进行了改进及分析,使得模型对协议的验证更加具有合理性。     

基于扩展数据对象Petri网的工作流模型的研究

通过对当前工作流模型研究现状的总结分析,发现针对工作流中的数据信息的建模方法还存在局限性。因此,通过结合过程模型和数据对象模型,提出了一种扩展数据对象工作流Petri网模型,并给出了模型的形式化定义。     

基于petri网的自动销售机模型

Petri网络以网络理论、代数理论等为数学基础,以图形化的方法直观地描述了离散事件系统的各种关系和行为,适用于描述异步并发现象的计算机系统模型和对并行及并发系统进行行为分析。本文提出一种基于Petri网络的自动销售机模型模型,通过此模型解决自动销售机系统具有的并发性、异步性、分布式、非确定性、并行性等问题。     

基于着色Petri网的TOT风险评估仿真模型

在归纳TOT项目风险测量变量对TOT特许期决策因素影响过程的基础上,构建基于着色Petri网的TOT特许期风险评估模型,引入颜色集区分风险测量变量,在给定风险因素概率分布基础上,通过计算机仿真的方法,得出TOT特许期决策因素受风险测量变量的影响概率分布,由此对TOT项目风险进行评估。     

基于模糊Petri网的采空区危险演变模型的研究

针对采空区危险演变的特点,提出了基于模糊Petri网的采空区危险演变模型(Mined-out Area Hazard Evolution Model,MHEFPN),并给出了模型的推理算法,算法考虑了推理过程中的众多约束条件,包括命题的可信度、输入输出的权值、变迁触发的阈值等。以采空区灾害为例,描述了建立采空区危险演变模型,以及基于矩阵运算的推理过程的相关问题。应用此模型,可以模拟采空区危险演变中众多危险因素所处的状态和各自所起的作用的大小以及危险演变的整个过程。     

基于Petri网的工作流建模及其优化

Petri网是一种有效的模型描述语言,不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行成分的系统。本文在简要介绍了Petri网和工作流基本模式的基础上,利用替换规则用基本工作流模式构造了合理的Petri网模型,并对构造好的Petri网模型进行详细的分析,同时在分析的基础上提出了对应的优化方案。最后对基于Petri网的工作流模型进行了总结。     

基于佩特里网的技术系统演化模型研究

深入探讨技术系统演化的微观动力机制以及技术系统结构对技术创新的作用,促进企业把握技术系统演化规律、识别技术系统演化主要要素,从而获取和保持竞争优势。从技术系统功能结构出发,运用功能结构建模与佩特里网（Petri net, PN）结合的动态功能分析方法,以共享单车为例,利用从智慧芽专利数据库检索出的相关专利文本,构建以功能树形式呈现的技术系统功能结构;并引入时间维度构建随机佩特里网（stochastic Petri net,SPN）模型,从稳定概率、库所繁忙率和变迁利用率三方面反映技术系统演化的主要功能要素,通过仿真计算不同条件下各功能模块变化对技术系统的影响,得出需要优化反馈车辆状况和更新或升级软件两个关键功能。实证结果表明,技术系统的核心功能导致技术系统演化,识别关键核心功能有助于把握技术系统演化的重点和方向;SPN模型可以用来识别驱动技术系统演化的关键功能动态元素。     

基于知识元和有色Petri网的应急实施流程优化方法

合理的应急实施流程对于有效应对突发事件至关重要。在知识元理论与Petri网方法的基础上提出了一种突发事件应急实施流程的优化方法。首先,借鉴共性知识模型,形式化表示活动基元及其内部联系,建立活动基元模型。随后,找到活动基元模型与有色Petri网的映射关系,并使用有色Petri网方法实现活动基元模型以及活动基元间的基本路由关系。在此基础上,结合知识元原理和Petri网方法,提出突发事件应急实施流程的五步优化方法。最后,以化学危险品事故为例说明该优化方法的使用过程。     

基于Petri网的双重数字签名建模及分析

电子支付已成为电子商务快速发展中的瓶颈,通过对双重数字签名原理的研究.利用Petri网描述了双重签名在网络交易中的实现过程,保证了商家、客户和银行各方的安全.该模型是对传统商业交易的一个模拟,具有很强的理论和实用价值.     

基于.Net的开放式实验室管理系统的设计与实现

对现有的实验室管理系统进行分析和研究,采用.net组件技术、B/S体系结构和SQL Server 2005数据库设计开放式实验室管理系统,并阐述设计的关键技术.     

城市地下物流服务供应链的流程设计：基于着色Petri网模型

针对缺乏对城市地下物流系统(underground logistics system,ULS)在市场环境下的运营状况进行研究的问题,引入"ULS服务运营商"的概念分析ULS服务供应链的运作流程,即ULS服务运营商承接第三方物流服务企业和生产企业的物流外包业务以及普通客户的物流服务需求,通过运营平台统一调度、分配服务资源,实现城市物流的集成、共同配送以及服务流程的自动化;进一步利用赋时着色Petri网理论构建基于城市ULS的服务供应链Petri网模型,考察该服务供应链运作流程的可靠性和效率,并根据仿真数据对模型的运作方式和性能进行分析,以期为ULS在市场化环境下运营模式及运作流程的研究提供建模仿真思路参考.结果 表明:该模型具备可靠性,符合设计预期;由仿真结果得到的各流程运作耗时情况以及服务供应链整体运作时间性能可知,售后服务、负责ULS终端分流的配送服务供应商和仓储服务供应商对城市ULS服务供应链整体的服务效率有较大影响,是供应链整体效率提升过程中需要关注的对象.     

基于连续Petri网的城市交通网络建模研究

建立了基于连续Petri网的城市交通网络模型。采用层次化的建模方法,首先构建整个交通网络系统的大框架模型,然后对其构成的关键要素——交叉口给出细化模型。交叉口模型清晰地描述了各个方向的交通流在道路交叉口处的转向行为和转向延误信息。体现路段阻抗和节点阻抗的时延因素的引入,使得模型能更加真实地反映交通网络的动态特性,为后续动态路径的诱导和交通控制提供思路。