Petri网死锁的求解算法  

作　　者：郑凯[1] 

机构地区：[1]漳州市医院,福建漳州363000

出　　处：《漳州师范学院学报（自然科学版）》2011年第1期17-21,共5页Journal of ZhangZhou Teachers College（Natural Science)

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

关 键 词：PETRI网 死锁 T-不变量 可重复向量 真值表 算法 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]