CPN Tools中文帮助文档包括Simple Protocol例子 感谢protein的辛勤劳动与无私分享!CPNTools中文帮助文档SimpleProtocol例子说明。资料非常珍贵。 我也是由于写毕业论文才接触这个工具,看了这份文档入手很快!谢谢这份文档的制作者!
CPNTools安装文件 有色Petri网(CPN)是描述并发、同步、异步、资源竞争、协调等动态系统行为的有效工具,不仅有充分的模拟能力和丰富的分析方法,还便于使用和理解。同时,CPN是一种语义严格的形式化数学建模工具,可以定性和定量地分析系统的动态性能。CPN具有如下优点:(1)CPN的并行和同步机制适于并行模型的仿真和分