Petri网死锁的求解算法

• 作者: 郑凯
• 来源期刊: 漳州师范学院学报(自然科学版)
• 学科: 工学
• 关键词: Petri网 死锁 T-不变量 可重复向量 真值表 算法
• 年，卷（期）: 2011,（1）
• 页码范围: 17-21
• 分类号: TP301.6
• 字数: 3017字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-7826.2011.01.004

摘要

本文对Petri网的基础知识作了相关的介绍,以及对Petri网的结构性质进行一定的介绍与分析,其中主要介绍的结构性质是可重复向量和死锁,并适当的通过举例来说明问题.根据Petri网的相关结构性质,初步得出了T-不变量、可重复向量、死锁的关系,给出了T-不变量和可重复向量的求解算法,以及对Petri网进行结构变化的基础上,给出相应算法去求解一个网的死锁.最后还给出了利用真值表求解死锁的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑凯		2	3	1.0	1.0