资源分配系统禁止状态的避免研究

• 作者: 李志武 段江涛 王安荣 贾建援
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 避免禁止状态 资源分配系统 危险标识
• 年，卷（期）: 2005,（5）
• 页码范围: 742-747
• 页数: 6页
• 分类号: TP273+.1
• 字数: 5724字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2005.05.019

摘要

基于对有界、被P不变式覆盖且P不变式被初始标记的Petri网的结构分析,提出一种避免资源分配系统禁止状态的方法.该方法首先离线计算出资源分配系统Petri网模型中的死标识、坏标识和危险标识等特殊标识,进而在线保证系统不到达死标识和坏标识对应的禁止状态.该方法与其他方法相比,它使系统的许可行为最大化且无需计算网系统的整个可达图,更适合比较庞大的资源分配系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志武	西安电子科技大学机电工程学院	39	141	6.0	9.0
2	段江涛	西安电子科技大学机电工程学院	10	201	5.0	10.0
3	贾建援	西安电子科技大学机电工程学院	174	1783	17.0	35.0
4	王安荣	西安电子科技大学机电工程学院	10	51	5.0	7.0