-
题名无界Petri网的可达树的综述
被引量:4
- 1
-
-
作者
干梦迪
王寿光
周孟初
李俊
李月
-
机构
浙江工商大学信息与电子工程学院
同济大学电子与信息工程学院
新泽西理工学院电子与计算机工程系
东南大学自动化学院
-
出处
《自动化学报》
EI
CSCD
北大核心
2015年第4期686-693,共8页
-
基金
国家自然科学基金(61374148
61100056
+3 种基金
61374069)
浙江省杰出青年基金(LR14F020001)
浙江省科技计划项目(2013C31111)
浙江省新型网络标准与应用技术重点实验室(2013E10012)资助~~
-
文摘
Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,但由于问题本身的复杂性和难度太大,直到最近20年,经过国内外诸多学者的不懈努力,才逐渐取得了一些阶段性的成果和部分突破.本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献.重点对4种开创性的研究成果展开讨论,分别为有限可达树、扩展可达树、改进可达树及新型改进可达树.探讨了今后无界Petri网可达性问题的研究方向.
-
关键词
无界Petri网
可达树
可达性问题
离散事件系统
-
Keywords
Unbounded Petri nets
reachability tree
reachability problem
discrete event system
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
-
题名信标可控性定义及问题
被引量:2
- 2
-
-
作者
尤丹
王寿光
周孟初
-
机构
浙江工商大学信息与电子工程学院
同济大学教育部嵌入式系统与服务计算重点实验室
美国新泽西理工学院电子与计算机工程系
-
出处
《自动化学报》
EI
CSCD
北大核心
2014年第12期2687-2696,共10页
-
基金
国家自然科学基金(61472361,61100056,61374148)
浙江省杰出青年基金(LR14F020001)
+2 种基金
浙江省科技计划(2013C31111)
浙江省新型网络标准与应用技术重点实验室项目(2013E10012)
浙江工商大学创新项目(CX201411010)资助~~
-
文摘
死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,而对于一般Petri网,这方面的工作还需改进和完善.近年来,学者们针对一般Petri网及其子类提出了不少信标可控性定义,但这些定义并不完善,仍有大量的问题亟待解决.首先回顾了文献中的各个信标可控性定义,提出了两个新的信标可控性定义,然后从可控性定义的宽松程度、应用范围以及等价性等方面分析比较了现有的信标可控性定义优缺点.最后给出了今后的研究方向.
-
关键词
PETRI网
活性
信标
可控性
-
Keywords
Petri net, liveness, siphon, controllability
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-