petri网学习

首先介绍一下很有名 的petri网学习网站

http://www.informatik.uni-hamburg.de/TGI/PetriNets/

有一个简单的登陆界面

https://blog.csdn.net/aijima0904/article/details/70229941

cpntools中文文档

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

1. 是否支持中文名

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

2. 关键字var, val,等作用分别是什么?

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

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

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

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

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

4. 如何加入实数参数的随机分布函数?

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

答:normal(2.0,0.5)表示均值为2.0,方差为0.5的正态分布。
返回值为实数,需变换成整数,用round
在变迁上完整写成是这样的:
@+ round ( normal(2.0,0.5) )
其余函数,查帮助文档,就可以看到了。

节选自   https://blog.csdn.net/littlek/article/details/4006934

猜你喜欢

转载自blog.csdn.net/weixin_42386538/article/details/81219160