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