搜索筛选:
搜索耗时0.0491秒,为你在为你在23,761,000篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：尤丹, 王寿光, 周孟初,,
来源：自动化学报 年份：2014
死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,...
[期刊论文] 作者：干梦迪, 王寿光, 周孟初, 李俊, 李月,,
来源：自动化学报 年份：2015
Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Pet...
相关搜索：
