PetriNet
littlek
这个作者很懒,什么都没留下…
展开
-
如何在CPNTools中实现循环
(1)对于不带循环设置的强制循环仿真问:一个很简单的非循环的petri网(例如,只有三个变迁发生后就没有变迁可以发生了),我想用cpntool对这样的petri网自动仿真100次,得到某些参数的平均值,怎样让它自动仿真100次呢? 换句话说,在play的属性里我可以设置仿真50步,在fsat forward里我可以快速仿真10000步。但是我的模型可能非常简单,仿真3步就没有变原创 2009-03-20 10:15:00 · 2382 阅读 · 2 评论 -
CPN tools中的图型如何输出到word文档里
问:我在CPNTOOLS中建立了一个模型,需要在论文中显示该模型。除了将模型图在屏幕上截图外,还有没有其他的方法可以将模型直接输出。答:打开cpntools软件,点开toolbox,看到Net,用鼠标左键按住不放,往右拖,放开,就会看见一个框,其中有两排,上面有四个,下面有三个,用鼠标左键点上面一排的第四个,在你的模型中点下,就会弹出一个对话框,要你选择文件的保存路径,文件格式是eps的。然后转载 2009-03-20 10:57:00 · 2555 阅读 · 4 评论 -
CPNTools入门
这个页面有关于CPN Tools的中文介绍,和一些简单的操作流程。帮助文档的中文版。很有参考价值。http://www.daimi.au.dk/~wells/cpntools/HelpTranslation/getting_started_with_cpn_.htmlhttp://www.daimi.au.dk/~wells/cpntools/HelpTranslation/cpntool转载 2009-03-20 11:13:00 · 10189 阅读 · 15 评论 -
SCADE介绍—模型检测在航空领域的应用
SCADE是英文 Safety-Critical Application Development Environment的缩写,它是一个高安全性的应用开发环境。 法国爱斯特尔技术公司在开发SCADE软件时联合了航空电子、汽车电子、军用飞机以及核电站控制等领域的合作伙伴,如AIRBUS, Schneider Electric, Dassault Aviation和THALE转载 2009-03-20 11:31:00 · 6701 阅读 · 0 评论 -
什么是完备性
Petri网中经常涉及到完备性的概念 之前未觉特别 今天搜索一下 居然是说Petri网中经典的同构的内容:———————————————————————————————————————— 公理体系的完备性 意思就是:该体系中有足够个数的公理,以之为依据可推导出该体系的全部结论。亦即:从公理系统出发,能推出(或判定)该领域所有的命题。 设一个公理体系具有两个模型∑和∑',如果在∑和∑'的对象之间能建立这样的一一对应,使得∑中元素间的相互关系或命题,总与∑'中相应元素间的相互关系或命题相对原创 2010-11-29 13:56:00 · 7414 阅读 · 0 评论