基于CPN TOOLS的网络协议建模与仿真技术研究

摘要：

高级网的引入,大大增强了petri网的描述能力,但也导致了重复开发相似的仿真工具,造成了极大的浪费,不利于学术界的整体发展.有色petri网的仿真工具CPN Tools支持强大的元语言(ML),具有很强的扩展性.具有易于建模、易于仿真、易于分析的特点,并集成了较为强大的模型检验功能,如状态空间分析工具等.协议建模是对协议进行分析和研究的基础,CPN Tools的出现时于petri网建模与仿真具有重大的意义.

关键词：有色petri网、CPN Tools、建模与仿真、状态空间分析

所属期刊栏目：26

分类号：TP301(计算技术、计算机技术)

在线出版日期：2014-07-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：164-166