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

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

基于等级PRES+的嵌入式系统的建模与实现

为了有效的描绘规模较大的系统,需要一个分层机制,使模型可以有条理地构建。它由简单的单元组件构成,使得设计师在每个描述级上都可以很容易理解。提出并定义了用于形式化描述嵌入式系统建模的petri网的分层概念,显示了一个规模较大系统中的小部件如何使用层次的概念进行转换。该方法使得复杂的嵌入式系统描述更加模块化,具有可重用性,提高了嵌入式系统建模和分析的效率。通过一个实例表明了该方法的可行性。

Sip协议的petri网建模及性能验证

sip的petri网模型建立在会话初始协议服务过程的基础之上。通过对petri网性能和可达性树的分析,证明该协议是有效的、无死锁的、活的。此外,考虑到协议的重复性和稳妥性,分析可达性和不变性来验证协议的正确性。该协议的设计思想是减少风险的同时解决sip应用中的问题。