| Design/CPN之间转换 | CPN Tools help |
| How-to |
所有的用Design/CPN设计的模型都可以按以下的步骤转换到CPN Tools:
下面来详细的讨论这些步骤.
将模型由Design/CPN 转化到 CPN Tools的第一步就是把Design/CPN设计的模型用XML格式保存.在目录中选择"Save XML..."就可以了.请注意,"Save"和"Save as..."不能将模型用XML格式保存.
重要事项:在Design/CPN中选择"Save XML..."的时候,只有当前被选定的页面才会被保存.层次页面将用来选定一组页面.比如说,可以像这样选定所有的页面:
当选定了想要的页面之后,就可以选择"Save XML..."了.
在把Design/CPN的模型用XML格式保存之后,模型必须要转化为可以由CPN Tools使用的XML文件.正是为了这个目的,CPN Tools中含有一个转化工具.
转化工具可以从Windows开始菜单中启动.,比方说Start Menu => Programs => CPN Tools => Utils => converter.启动转化工具后,就会出现一个对话框,让用户选择将要转化的文件.点击"open"按钮就可以转化文件.
转化工具生成的文件带有后缀名.cpn.举例来说,如果文件HierarchicalProtocol.xml被转化,转化后的模型名字就会是HierarchicalProtocol.cpn.如果文件名与已有文件名一样,将会弹出对话框询问是覆盖原有文件,还是重新命名.
用户可以由转化工具生成的文件中导入模型(load a model).
在对已转化模型的语法检查中,Design/CPN和CPN Tools之间的矛盾将被发现.比如说,有一些Design/CPN中的函数在CPN Tools的 CPN ML中不存在(或者名字不一样).大多数情况下,有相似功能的函数都会在CPN Tools中提供,只是名字有所不同.在出现问题的地方,将会被高亮或者有色的显示.
现在,比如说,语法检查发现函数imin不为CPN Tools所提供.然而,它可以被函数Int.min代替.想要了解更多关于CPN Tools提供的函数的情况,请查看颜色集(colour sets)和颜色集函数(colour set functions).