基于层次实时有色Petri网的实时服务描述研究

Web服务描述与组合是实现面向服务计算的关键,但目前Web服务描述研究对Web服务的实时性与智能性因素考虑不多,不适合用于分布式实时系统中的服务描述。该文首先定义了适合实时服务描述的实时有色Petri网(RTCPN)与层次实时有色Petri网(HRTCPN),然后建立了原子实时服务到RTCPN映射描述模型(AS-RTCPN),对服务组合运算规则进行了详细描述与建模,最后形成了服务组合HRTCPN描述模型的简化算法,并给出了HRTCPN的可达服务图RSG的定义及构建算法,证明了HRTCPN模型的正确性。     

扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文介绍了扩展的模糊时间Petri网的定义,模型检验方法,仿真工具,网精简技术和应用领域,并探讨了进一步研究的方向.     

基于Petri网的嵌入式系统建模

基于对传统Petri网结构的修改，文章提出了一种新的模型方式，并具体给出相应的结构定义，图形表示和行为规则。该方法实现了控制信息和数据信息的统一化表示，从而易于表示系统中的循环和条件操作。最后就嵌入式系统的描述举例说明。     

门户网自助系统的扩展有色Petri网建模与分析

文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性。     

基于Petri网的iSCSI协议分析与建模

通过对iSCSI协议对象的分解,论述了通信双方在整个会话生命周期中各阶段的状态以及状态转换的条件,并依据Petri网理论,建立iSCSI协议会话模型,完成对协议运行机制和实现原理的分析。     

有色Petri网的C^3I系统建模中的应用

Ｃ＾３Ｉ系统对现代化战争的支持越来越大，许多发达国家均投入大量人力和物力来提高Ｃ＾３Ｉ系统的性能，但是系统多维性和复杂性使得系统的建模一直是一个难点，至今还没有较好的系统化的模型产生，本文讨论了一种基于有色Ｐｅｔｒｉ网的模型的建立方法，克服了以往用普通Ｐｅｔｒｉ网建模的一些缺点。     

基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。     

面向对象Petri网建模技术与应用

面向对象方法使得系统设计简化,符合所描述的现实事物的特点,简单易于理解.但是在设计系统时没有进行严格的检验和验证.Petri网提供了形式化的图形表示,层次化的结构在表示类的继承以及描述对象的动态性方面非常有用.现介绍一种抽象节点技术,将面向对象设计模型转换成层次化的Petri网模型将对象和对象属性封装到数据结构中去,从而结合了两者的优点.     

基于赋时层次有色Petri网的Multi-Agent调度系统建模

介绍了基于Multi-Agent的分布式环境扫描系统的结构模型.依据赋时层次有色Petri网(HTCP-net)的理论,应用建模、仿真工具CPN Tools建立了基于优先级的任务调度算法和最短等待队列动态负载均衡调度算法的系统调度模型.仿真结果表明,该调度模型有效满足了系统周期性重复访问网站的任务需求.     

量子密钥分配协议的Petri网建模及安全性分析

量子密钥分配协议已经被证明具有无条件安全特性,但是证明过程比较复杂,不利于推广到其他量子密码协议的安全性分析和证明中.为了简化量子密码协议的安全性证明以及建立一种通用的证明方法,基于Petri网提出一种量子密钥分配协议的形式化分析方法,根据Biham的等效对称化攻击模型,将协议分为主体模型和攻击模型两部分,建立了BB84协议的Petn网模型,然后对模型进行安全性分析,分析结果表明, BB84协议是无条件安全的.该方法提高了安全性分析效率,形式上简洁统一,容易推广到其他量子密码协议的安全性分析中.     

基于扩展Petri网的雷达组网系统的建模与分析

利用扩展Petri网建立了雷达组网系统模型,通过模型的分析,解决了各雷达之间的同步问题,给出了系统冲突的处理方法,然后将扩展Petri网与排队论结合起来,定量描述了系统的统计性能;最后运用建立的模型进行了仿真实验。研究表明,扩展Petri网是雷达组网系统建模与分析的一种有效途径,为系统的结构优化与效能评估提供了依据。     

基于Petri网建模的Web型MIS系统的研究

文中提出了基于MVC架构的web型信息管理流程模型,并通过定义的模型五元组来描述各层之间数据传递的关系和结果．给出了基于MVC架构的web型MIS系统Petri网建模基本步骤,为web型MIS系统的业务流程的分析、验证与优化提供了理论依据．以井冈山大学科研管理信息系统为例,讨论了Petri网理论在建模中的应用,实验结果表明采用Petri网理论对科研管理信息系统建模是可行且有效的．     

弹载1553B总线网络控制系统Petri网建模与性能分析

鉴于数据传输总线的诸多优点,未来的弹载控制系统采用总线式网络化控制方式成为一个重要的发展方向。在该类系统的设计过程中,必须对各类设计方案进行形式化建模和性能评价。以确定与随机Petri网为理论工具,建立了基于1553B总线的弹载控制系统在非周期性消息和周期性消息同时存在的复杂情况下的形式化模型,并在模型基础上推导出了相关的性能指标公式。通过对指标的分析,为弹载控制网络的设计和优化提供了理论依据。     

基于Petri网的入侵检测模型研究

随着计算机网络的广泛应用,非法的入侵与攻击行为不断发生,严重威胁着网络信息的安全,对入侵和攻击进行检测与防范已经成为刻不容缓的重要课题。讲述了Petri网(PN)和有色Petri网(CPN),通过将入侵分为“存在”,“顺序”,“偏序”三种类型,描述入侵检测系统(IDS)中的攻击模式用Petri网实现,并且给出了使用有色Petri网描述攻击模式。     

A Method for Modeling the Virtual Instrument Automatic Test System Based on the Petri Net

Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is developed by CAT lab of the UESTC as an example. Then a method to model this system based on Petri net is proposed. Through this method, we can analyze the test task scheduling to prevent the deadlock or resources conflict. At last, this paper analyzes the feasibility of this method.     

城市公交故障抢修的随机Petri网建模及分析

针对城市公交运行过程中紧急抢修故障车的效率问题,本文基于随机Petri网建立了城市公交运行故障的抢修模型,利用随机Petri网与马尔可夫链的同构关系,得到了抢修模型稳定的状态空间及各状态出现的概率,进而分析了抢修过程各环节的利用率及各状态的时间属性,为抢修效率的提高提供了相关依据.实例验证模型分析的有效性,通过对某些抢修环节的改善和提高,进而提高公交故障抢修的效率.     

基于时间Petri网的工作流系统模型的线性推理

目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析,很少有人研究与时间有关的工作流模型的性质,特别是模型中的时序关系推理及性能计算问题.本文重点研究了这方面的问题,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题.     

基于对象Petri网的雷达组网系统建模仿真研究

建立了复杂环境下雷达网的OPDL模型，并以雷达网分布式目标检测分析为背景，运用所建立的雷达网OPDL模型进行了仿真实验。研究表明，基于OPDL的雷达组网系统建模仿真是一种分析、评价雷达网系统的有效途径。