首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  免费   0篇
自动化技术   2篇
  2002年   2篇
排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
可分解非对称选择网的活性和家态   总被引:2,自引:0,他引:2  
林贵献  陆维明 《计算机学报》2002,25(12):1325-1330
徐静等曾给出了非对称选择网(Asymmetric ChoiceNets,AC网)的一子类,即可分解非对称选择网(DecomposableAsymmetric Choic eNets,DAC网),证明其结构活结构有界的充分必要条件满足死锁-陷阱性能,该文与之不同,给出了一种合成方法,证明合成后的DAC网保持了子网的性质,如活性,有界性和家态(HomeState),同时充分利用子网的性质给出了判定此类合成DAC网结构活和结构有界的有多项式时间算法,最后,给出了一类更一般的组合网,该组合网保持了子网的活性。  相似文献   
2.
一类Petri网系统的活性   总被引:2,自引:0,他引:2  
Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具,当用Petri网来模拟一个实际系统时,关心的问题之一就是要确定这个Petri网模型是否具有一些所期望的特生,如活性、有界性等,这些特性均是系统的重要动态行为,该文基于文献[1]给出了Petri网的一子类,即弱化非自控网(Weak Extended Non SelfControlling Nets,简称WENSeC网),该类网覆盖了扩展自由选择网和扩展非自控网,文中提出了并证明了WENSeC网系统活性的的充分必要条件满足死锁-陷阱性质,同时对WENSeC网的一子类,通过转化方法,证明了该类结构有界网的结构活判定算法可借用扩非自控网的有关结果也是多项式时间算法。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号