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

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

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

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

基于扩展Petri网的工作流建模及应用

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。     

随机高级Petri网用于计算机网络传输协议的模型与性能评价

本文讨论了具有标记变量的随机高级Ｐｅｔｒｉ网（ＳＨＬＰＮ）以及标识类型，标记变量和等价标记变量的概念，给出了具有等价标记变量可达树构造算法，并证明了等价标记变量可达集与合并状态的马尔可夫链状态空间之间的同构。本文着重描述了ＳＨＬＰＮ在计算机网络传输协议的模型与性能评价中扩，通过这个例子充分显示了这些概念和算法的有效性。     

基于有色Petri网模型的安全协议检测方法

提出了一种用有色Petri网对安全协议建模，并通过模拟和对状态空间检测来发现协议漏洞的方法。利用这一方法对著名的Needham-Schroedor公钥协议建模，然后用CPN Tools实现并对协议进行检测，发现了协议存在的漏洞。应用结果表明，方法有效。     

基于Petri网的复杂可修复系统可靠性仿真研究

为了在复杂可修复系统的可靠性模型中引入修复过程,实现系统使用维修保障全过程仿真,使用Petri网建立了一种可修复系统的可靠性模型,通过模型内部token的移动控制系统组成单元的状态。以某型飞机为例进行了仿真。仿真结果表明,模型易于实现,具有较好的拓展性,可以有效地反映系统的修复过程,从而为系统的使用维修保障全过程仿真提供条件。     

一种优化数据链路层协议的Petri网模型及分析

数据链路层位于网络体系结构第二层,向网络层提供统一界面.利用Petri网对基本的数据链路层协议建模,根据变迁设定原则,将逻辑状态与实际情形相结合,对一个原有模型进行了改进,并在此基础上,利用改进的思想对一个更高级的协议进行Petri网的建模分析.改进后的模型对协议的验证更加具有合理性.     

基于层次实时有色Petri网的实时系统建模与分析方法研究

Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。     

MapReduce的随机Petri网模型研究

首次提出用随机Petri网为MapReduce逻辑模型建立Petri网模型的思想,目的在于采用随机Petri网工作流性质对其进行分析。因此,在研究MapReduce逻辑模型的基础上,为其建立了随机Petri网模型。该随机Petri网模型符合随机Petri网工作流系统的性质,本文利用随机Petri网的工作流系统的性能等价公式,分析了模型的性能,最终求出整个系统的性能参数。该性能参数能够很好地说明MapReduce处理大数据集的优势。     

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

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

基于随机Petri网的网络可信赖性分析方法研究

随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望.     

随机Petri网性能计算软件体系结构研究

以建立随机Petri网性能计算软件的软件体系结构为目的,采用面向对象的系统分析与设计方法,在对性能计算软件需求分析的基础上,设计了系统的总体结构,进而实现了系统各个模块的功能。提出由三个主要构件组成的性能计算软件体系结构：人机交互模块,主控模块,性能计算核心模块。做出该软件体系结构适用于基于基本建模理论性能计算软件的结论。     

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

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

基于Petri网的安全协议形式化分析

本文提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法.该方法的特点是,利用逆向状态分析判定协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性分析判断这些不安全状态是否可达.通过实例,我们证明了这种方法的有效性.     

基于Petri网的入侵检测技术研究

Petri网是一种非常广泛的建模工具.文中研究了Petri网在入侵检测技术中的应用,分析了基于Petri网的入侵检测系统的主要优势以及随着网络的发展给入侵检测系统带来的问题.基于这些问题,提出了基于Petri网的入侵检测系统的改进方法,设计了一个入侵检测系统的原型并进行了实例分析.     

基于Petri网的数字媒体分发协议的安全性证明

 安全协议的形式化证明是目前的一个热点和难点问题.本文以一种数字媒体分发协议(DMDP)为例,采用基于Petri网模型并结合进程代数和逻辑归纳方法对其进行形式化证明,新的方法有效避免了状态空间爆炸问题.在证明过程中,采用协议安全性等价原则,对分发协议进行简化,使证明更加简洁.文章同时对证明方法的完备性进行了讨论,说明了Petri网模型证明协议安全性的有效性.     

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

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

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

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

一种基于时间权重的 Petri Net 工作流过程建模

为了研究 Petri Net 工作流模型的时间性能,首先给出了一种基于时间权重的工作流过程模型,此模型在变迁中引入时间,然后对此模型进行了时间性能分析,最后得出结论此模型在工作流的时间性能分析上是可行的.     

基于Petri网的构件组装运算及其性质

文章提出了构件的Petri网模型-构件网,并给出了构件组装的运算;定义了构件组装表达式,给出了构件组装的形式化描述,讨论了构件组装运算的性质和特点,从而提供了对组装构件进行自动分析和验证的方法。