petri相关论文
随着业务系统的广泛使用,系统模型复杂度及日志属性多样性随之提升。系统日志与业务过程的分析和研究趋于常态化。在过程发现、一......
The post-disaster emergency medical rescue(EMR) is critical for peoples lives. This paper presents a stochastic Petri ne......
近年来,Web服务作为一种基于XML和HTTPS的一种服务,已经普遍被学术界和工业界所重视。Web服务组合具有动态与适应性、层次性和课扩......
The concept of process expression of bounded Petri nets is presented.Moreover,an algorithm to find the process expressio......
利用随机Petri网结合三角模糊参数,对产品生产的三工艺阶段生产周期的波动进行测定,得出前工艺阶段生产周期的波动造成后工艺阶段......
随着信息化社会的发展以及图书馆规模和功能的日益强大,传统的图书管理系统已经不能满足用户的需求,所以需要对其进行改进,构建新......
给出语义网格环境下多语言信息资源调度的体系结构,构建语义网格环境下多语言信息资源调度的有色时延Petri网模型。利用该模型的可......
时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿......
将面向对象技术与Petri网结合作为建模工具,针对离散制造业的研究现状及其生产调度特点,进行离散制造系统生产调度建模;选用满足交......
选煤厂生产调度属于动态调度问题,选煤厂作业生产计划制定是选煤厂生产调度的基础和依据.该文针对选煤厂生产调度的特点,用Petri网......
该文以矿井胶带运输机控制系统为背景,结合相关理论,提出了设计分布式控制系统的通用设计方案.将PETRI理论用于下位机控制系统建模......
该文将采用UML建模方法描述面向对象建模的全部过程,并讨论其作为分析工具的优缺点,并与面向过程分析方法进行对比.不管是用IDEF0......
该文在对工作流的相关标准以及办公自动化应用需求进行分析的基础上,提出了一种符合WFMC规范的工作流应用开发和运行平台(WF平台)......
网格是近年来出现的一组架构在互联网络服务之上的新兴技术，旨在支持虚拟组织的资源共享与协同工作。人们承认网格是下一代软件技术......
如今越来越多的业务过程由显示过程模型驱动的信息系统进行控制和管理，无数的过程工程、过程建模和过程实现的方法也随之出现。该领......
面向对象的开发技术能够有效的提升网站开发、软件系统开发、移动软件和测试软件的效率.针对面向对象技术在尺度分配、软件测试以......
随着我国社会经济的高速发展,网上购物这一行业逐渐兴起。与此同时,快递物流行业的业务管理,也变得越来越复杂。传统的快递业务管......
基于Petri网络建立工作流,既可以将Petri网络作为图形化的建模工具,同时又可以利用它坚实的数学定义,对模型做出精确的分析,可以降......
将Ｐｅｔｒｉ网理论引入企业经营战略管理领域，提出了用Ｐｅｔｒｉ网对企业并购战略的制定过程进行分析与描述，使企业并购战略的制定过程在Ｐｅｔｒｉ网上得到了清晰......
网络锁保证分布式系统中互斥资源的安全,它的效率是系统节点扩充的关键。文中介绍了具有自动迁移容错功能的网络锁算法及实现。同......
为提高网系统的日常安全管理水平,实现系统重要节点的重点监管,以基本Petri网系统为对象,提出考虑相继故障的节点重要性评价方法。......
针对运行BPG协议的骨干网络面临CXPST攻击风险,采用Petri网的网络建模工具,对骨干网的拓扑结构进行了建模分析,通过设计仿真工具,......
Petri网是研究并发、异步系统的有效模型,并巳逐步应用到资源分配、操作系统、分布式系统等领域。 本文首先综述了Petri网基本理论......
本文介绍了用Petri网描述协议的方法,给出了ISO传输层第三类协议的Petri网说明,并且利用可达树、可达图等分析工具对所给Petri网进......
本文提出一种新型Petri同一规则Petri网(RPN一Rule Petri Net),对产生式知识系统进行有效的表达和提纯,并给出了对知识的冗余、矛......
协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,......
Petri网的资源配置格局动态变化是本领域的一个研究点。Petri网运行引起资源配置格局转换,进程表达式虽然能够描述Petri网的运行轨......
目前,ARP欺骗技术在局域网内越来越流行,但大众对ARP协议和ARP欺骗的认识并不深刻。从对ARP协议工作机制的研究入手,得出此协议潜......
介绍了一种新型的卫星网网络管理协议,并阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型......
统一威胁管理设备UTM是近年来网络安全领域涌现出的一个新的综合性平台,它融合了防火墙、入侵检测、病毒扫描等安全功能。其中防火......
现代社会高度依赖于各种分布式信息系统。因此,当出现攻击、网络失效和自然灾害等意外事件时,重要服务必须保证可用。针对分布式信......
企业网的安全问题正受到世界各国的高度重视,研究已有安全模型,结合企业网的特点,使用随机Petri网模型对企业网的安全进行分析。企......
可追究性是电子支付协议必须满足的安全属性之一,针对电子支付协议,建立了支持支付协议可追究性分析的分层有色Petri网模型,并基于......
对舰空导弹武器系统拦截目标过程进行了分析,论述了影响舰空导弹武器系统作战反应时间的主要因素。鉴于一个随机Petri网(SPN)同构......
中国计算机学会Petri网研究会于今年7月28日到31日在我院召开成立大会。参加这次大会的有来自全国各地18个单位的37名代表。大会......
介绍了Hierarchy CPN的相关定义,然后对OpenFlow协议进行了基于时间着色CPN建模.在建模过程中,详细考虑了Token Colour的选取与相......
讨论了柔性制造过程的监控与诊断问题．提出了一个有效的监控与诊断系统的结构和模型，探讨了基于ＰＥＴＲＩ网与知识的集成监控与诊断层次模型和......
详细介绍了一种集成式ＩＰ电话网关的硬件及软件体系结构，分析了ＩＰ电话网关的数据处理过程，并采用Ｐｅｔｒｉ网和多机系统理论，建立了集成式ＩＰ电话网关的......
Petri网已经被成功地用来描述、验证及评价网络通信协议。本文阐述了扩充Petri网在研究CSMA/CD协议方面的应用。扩充是在两个方面......
Petri网,尤其是扩充类的Petri网对通信协议有很强的模拟能力.同时,Petri网能支持十分有效的验证技术.本文分析了需要验证的协议性......
对Petri网模型交互后出现变化区域的责任分析,是模型交互一致性和兼容性研究的一个重要问题.已有的关于变化区域的研究只是涉及到......
