CPNTools入门

这个页面有关于CPN Tools的中文介绍，和一些简单的操作流程。帮助文档的中文版。很有参考价值。

http://www.daimi.au.dk/~wells/cpntools/HelpTranslation/getting_started_with_cpn_.html

http://www.daimi.au.dk/~wells/cpntools/HelpTranslation/cpntools-help.html

http://www.daimi.au.dk/~wells/cpntools/HelpTranslation/introduction_to_cpn_tools.html

国内的一个研讨小组@学术社区

http://www.51xuewen.com/Group/group_index.aspx?GroupID=490

 

1. ML语言 

向大家推荐一本ML语言介绍的书
机械工业出版社
2005年1月第一次印刷
ML程序设计教程
（英）Lawrence C. Paulson 著 柯韦 译
定价：45.00
在网上可以买到

2. CPN/tools的一些基本操作。
1）以你的图片为准，首先你看到new page这几个字，被暗红色所覆盖，移动鼠标到那里，双击之，就可以编辑了，例如用del键删除这个几个字，取一个你想用的名字。
2）下面是如何加入库所和变迁，以及弧。点击"toolbox"前面的那个蓝色的三角尖符号，就会展开，看到“create”后，把鼠标移到其上，按住左键不放，往右边拖（多拖点，自己试试，看看会有什么发现），然后放开，你就会发现一个小框框出现了（如果没有出现，再往右边多拖一点），两排，上面一排前三个，从左往右依次是：白色的矩形、白色的椭圆、黑色的箭头，分别代表变迁、库所、弧。鼠标左键点击一下白色矩形，就会发现鼠标下面多了个白色的矩形，移动鼠标到那个橙色的区域点一下，就有一个白色矩形在那里了。但是鼠标下的白色矩形不会消失，继续点，就会有另外一个白色矩形出现在橙色区域。再把鼠标移动那个小框框的白色矩形中，左键单击一下，鼠标下的白色矩形就消失了。
白色椭圆的操作类似白色矩形。
在橙色区域你画好一个白色矩形（表示变迁），一个白色椭圆（代表库所），之后，点击一下小框框中的那个黑色箭头，移动鼠标到橙色区域点击一下白色矩形，再点击一下白色椭圆，就会发现有一个黑色箭头连在白色矩形和白色库所之间了。

以上是一些基本操作，不知道我说的你明白否？最好自己认真看看CPN/tools的帮助，自己多摸索，就会有体会了。
如果还有什么不懂的，可以继续发帖。或联系我邮箱zhigangtao@qq.com

 

3. 是否支持中文名

      应该是不支持中文名，最好都用英文名，另外变迁和库所的名字似乎不能用z开头起，z开头的做状态空间分析时好像做不了，这个我还没在帮助文档中找到相应的说明。

 

4. 基于CPNTools的二次开发

问：我说的二次开发是指由模型转换成代码，或其他软件，例如：在做一个应用软件之前，先建立模型，经cpn tools检验正确后，直接转换成应用程序的源代码，不知道现在有没有这样的开发

答：CPN Tools 暂时还不能提供代码生成的工作，只能做一些状态空间不是很大的模型检验。我记得好像有基于CPN的一些代码生成工具研发的相关论文。建议你去看一下SCADE这个软件，这是一个商用的成熟软件，在空客等大型航空航天军用和民用项目上都有过成功的案例。这个软件的正版比较贵，至少上百万了，我们实验室洽谈过这个软件的购买。

 

5. 弧线上的Inscription怎样添加

选中一个对象（弧、库所或变迁），然后按Tab键就可以看到一个对象上面可以添什么东西。

 

6. 关键字var, val,等作用分别是什么？

var声明一个变量
val声明一个常量

 

7. 在CPN 的相关论文中经常能看到binder这个单词，但是一直没有理解它的意义

Maybe1：我的理解就是可以使得变迁点火的一种组合？
Maybe2：我的理解是给点火的place指定一个初始值，在很多地方翻译成绑定，呵呵，一起探讨吧

 

8. 建完了模型之后 不知道怎么生成一个曲线图 有人有这方面的资料么 或是指点我一下 谢谢了

我也不知道你说的曲线图是什么。我一般是用Data Collection 先把数据获取出来 然后用matlab处理，这样也比较方便都

 

9. 如何加入实数参数的随机分布函数？

问：好像一般的时间延时要求输出是整数，可是大部分随机分布函数的参数都是实数啊，怎样加入参数为实数的随机分布函数，如指数分布、正态分布等，诸如此类的都怎么处理啊？请教高手解答，万分感谢！

答：

normal(2.0,0.5)表示均值为2.0，方差为0.5的正态分布。
返回值为实数，需变换成整数，用round

在变迁上完整写成是这样的：
@+ round ( normal(2.0,0.5) )
其余函数，查帮助文档，就可以看到了。

 

这样啊，就是说这个工具不支持输出实数了，必须经过变换才行吧

 

可以根据你需要的数据精度，把结果乘以一个数，变成整数。你记录的时候再除掉，不就OK了么？