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了么？

CPNTools入门相关推荐

用Construct 2制作入门小游戏~
今天在软导课上了解到了Construct 2这个神器,本零基础菜鸟决定尝试做一个简单的小游戏(实际上是入门的教程啊= = 首先呢,肯定是到官网下载软件啊,点击我下载~ 等安装完毕后我便按照新手教程开始 ...
Docker入门六部曲——Swarm
原文链接:http://www.dubby.cn/detail.html?id=8738 准备工作安装Docker(版本最低1.13). 安装好Docker Compose,上一篇文章介绍过的. 安 ...
Docker入门六部曲——Stack
原文链接:http://www.dubby.cn/detail.html?id=8739 准备知识安装Docker(版本最低1.13). 阅读完Docker入门六部曲--Swarm,并且完成其中介绍 ...
Docker入门六部曲——服务
原文链接:http://www.dubby.cn/detail.html?id=8735 准备已经安装好Docker 1.13或者以上的版本. 安装好Docker Compose.如果你是用的是Do ...
【springboot】入门
简介: springBoot是spring团队为了整合spring全家桶中的系列框架做研究出来的一个轻量级框架.随着spring4.0推出而推出,springBoot可以説是J2SEE的一站式解决方案 ...
SpringBoot (一) ：入门篇 Hello World
什么是SpringBoot Spring Boot是由Pivotal团队提供的全新框架,其设计目的是用来简化新Spring应用的初始搭建以及开发过程.该框架使用了特定的方式来进行配置,从而使开发人员不 ...
入门指南目录页 -PaddlePaddle 飞桨入门指南 FAQ合集-深度学习问题
入门指南目录页 -PaddlePaddle 飞桨入门指南 FAQ合集 GT_Zhang关注 0.1012019.08.01 18:43:34字数 1,874阅读 795 Hi,欢迎各位来自Paddl ...
5 分钟入门 Google 最强NLP模型：BERT
BERT (Bidirectional Encoder Representations from Transformers) 10月11日,Google AI Language 发布了论文 BERT: ...
命名实体识别入门教程（必看）
关于开发自己的命名实体识别先期思路: 虽然网上有很多相关代码,但实际如何入门材料较少,故整理下: CRF:先期可以用人民日报语料库去做,步骤如下: https://blog.csdn.net/hude ...

CPNTools入门

CPNTools入门相关推荐

最新文章

热门文章