本文主要是介绍CPN Tools学习——从平面网构建分层 PN,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
1.先创建平面petri网
创建如下petri网:
CPN ide创建petri网真的舒服很多,但是教程又是CPN Tools的,我的想法是看两个版本能不能互通,在前者创建,在后者运行学习。
新增定义:
colset E = unit with e;
但是很明显我想的有点天真:(但是这个在tools中新建号也会报这个错,为啥呢?)
从详细的平面网络构造分层Petri net所需的工具:
(1)视图(2)层次结构(3)模拟
用替代变迁来代替petri网中的一部分。
2.替代变迁
用变迁表征网结构中的某一整块是层次网中常用的一种方法,利用这种方法使得包含上述变迁网络从逻辑上得到简化。这样一种变迁就叫做替代变迁。
替代变迁根本上没有增加任何新的东西。利用替代变迁可以做的操作同样也可以利用融合库所fusion places 的方式来实现。但是类比于融合库所,替代变迁显得更方便、有用,它可以区分出建模上的可行性和整体不可行性上的不同。
3.创建分层petri net
(1)将视图中的第四个(创建新组)工具应用到net上
应用之后透明度会全部降低
(2)将视图中的第五个(选择组内元素)工具,将属于一个组元素进行选中。注意在这些选择之外,之后有一个输入或输出连接到这些节点。
要选择正确的节点组合,替代变迁才能起作用!
为什么选中这些,如果正确选择节点组合?
(3)利用分层托盘中的第一个工具,将选中部分发送到子页面,并将其替换为替换过渡。
应用到net中后,之前选中的组合结构已经消失了,被一个双倍的过渡给替换了。这个双层就叫替换过渡。可以进行重命名。
(4)再索引中可以找到并打开子页面。
观察发现子页面中,比之前选中的组合中,多出P2,P3,P7,这三个节点叫做端口节点,P2,P3叫做输入端口,P3叫做输出端口。分别标记有IN和OUT,是连接到父页面的节点!
(5)在父页面放置令牌,触发转换T1,看看会发生啥
T1执行完之后,令牌转移到P2和P3,同时双层替代变迁也显示绿框,这就表示在该替代的子页面中,至少触发了一个转换。
此时进入这个子页面就会发现输入端口分别有对应的相同令牌,T2已经被触发。
总结:为了隐藏网络的某些部分,我们创建了一个组,我们用替换过渡替换这个组,分层或不分层都具有相同的运行结果和行为,都是具有相同的连接性的,唯一的区别就是PN以分层的方式,将一些详细的连接放在子页面中了。
(6)取消分层
用分层托盘中的第二个工具,作用是用它的子页面替换替换过渡,相当于取消原来的替换。
将这个工具作用到section_1这个替换过渡上,就回到了原来平面PN状态。
net左下角可以选择none恢复到最初的透明度。
这篇关于CPN Tools学习——从平面网构建分层 PN的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!