Petri网是Carl Adam Petri于1962年在博士论文中首次提出来的。作为描述系统元素的异步并发操作的工作模型，Petri网在计算机等许多领域都获得了广泛的应用。 Petri网是完全从过程的角度出发为复杂系统的描述与分析设计提供的一种有效的建模工具，能自然的描述并发、冲突、同步、资源争用等系统特性，并带有执行...
我们在用模型法对计算机网络系统进行研究的时候, 首先要用模型的方法对计算机网络系统进行分析, 要先针对这个系统构建出一个合适的模型, 并把模型的性能指标确定出来, 之后就可以对计算机网络系统的性能进行比较专业的分析了。模型法和测量的方法在比较的时候, 模型法在对系统进行分析的时候功能会相对强大一些, 模型法...
基于形式化方法的网络业务流Petri网模型的仿真分析
一种使用Petri网络模型验证协议的方法 蔡俊杰 【摘要】随着计算机网络的高速发展,开发新型的网络协议成为热点研究课题.而新型网络协议的描述与验证又成为研究的关键.引入Petri网络模型,给出了一种协议验证的方法.通过描述Petri网络模型,该模型以其良好的直观性,为协议验证过程提供了极大的方便.并且提出了针对复杂的协议,...
Petri网模型/Petri net model/ 最后更新 2022-12-23 浏览130次用于描述复杂系统动态过程的图形化建模方法。 英文名称 Petri net model 所属学科 机械工程总编委会 学科编委会 关于我们 三版介绍版权所有 © 2021 中国大百科全书出版社 Copyrights © 2021 by Encyclopedia of China Publishing House.All ...
基于攻击图和petri网的网络攻击模型分析-analysis of network attack model based on attack graph and petri net.docx,presented and verified with examples. Express tbe importance of researching attack model.In summary,tbe paper uses Attack Graph and Petri net
基于扩展时间对象Petri网的粗糙网络攻击模型
首先建立了卫星网络的广义随机Petri网(GSPN)模型 采用SPNP6.0软件进行了网络性能分析.然后 将分析结果与采用OPNET软件对该三层卫星网络模拟的结果进行了比较 验证了模型的正确性 并得出了诸如在高网络负载的情况下三层网络结构的性能优于单层等新的结论.关键词:卫星通信;LEO/MEO/GEO卫星网络;GSPN模型;性能分析;OPNET中...
遗传神经网络故障诊断自适应Petri网模型