论文部分内容阅读
对于一类网系统ES^3PR提出了一种有效的死锁控制策略．严格极小信标分为基本信标和从属信标，对每个基本信标通过添加控制库所，保证其能够被标识，同时不产生新的可被清空的信标．从属信标的控制通过调整基本信标的控制深度变量来实现．通过对添加的控制库所冗余性的分析，去除了冗余的控制库所，得到了许可状态更多、结构更为简单的Petri网控制器．