Petri网死锁的求解算法

来源 :漳州师范学院学报:自然科学版 | 被引量 : 0次 | 上传用户:kuibugo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文对Petri网的基础知识作了相关的介绍,以及对Petri网的结构性质进行一定的介绍与分析,其中主要介绍的结构性质是可重复向量和死锁,并适当的通过举例来说明问题.根据Petri网的相关结构性质,初步得出了T-不变量、可重复向量、死锁的关系,给出了T-不变量和可重复向量的求解算法,以及对Petri网进行结构变化的基础上,给出相应算法去求解一个网的死锁.最后还给出了利用真值表求解死锁的方法.
其他文献
学生体育态度的培养是当前体育教育研究领域值得重视和探讨的问题.本文运用文献研究法等,对体育态度的涵义及其培养的问题进行了分析探讨,并提出相应的对策即如何清晰界定体
为了研究水体中Cu(Ⅱ)对大型溞的急性毒理作用及其生理生化指标影响,在三种条件下(自然光,强光照,振荡),将大型溞暴露于Cu(Ⅱ)的9个浓度组和1个对照组进行48h的急性毒性试验,得到24
"信号与系统"课程是电子信息等多个专业的主干课程.文章探讨该课程中逆Z变换的两个问题,指出了教材中逆Z变换定义式关于围线C的不恰当描述并给出了正确描述;在高阶极点情况下,
采用单片机AT89C51作为系统的控制核心,由DA转换器DAC0832及函数发生器ICL8038实现一定频率范围的正弦信号,由集成运放及外围电路实现的正弦电流源作为RLC并联电路的激励源.
与其他分类技术相比较,ID3算法具有耗时少、速度快特点.然而,ID3算法分类规则少、无匹配率高,从而导致其分类准确率不高,尤其在小数据集上表现更为明显.针对ID3上述缺点,我们提出了
本文得到如下结果:当n≥4时,超立方体Qn中的边故障集F≤n-3,设x1,y1,x 2,y 2是Qn中任意四个顶点,使得x1和y1属于Qn的一部,x2和y2属于Qn的另一部,则在Qn-F中存在两条顶点不交路
给出了一类正交基插值尺度函数的构造方法.这类尺度函数具有指数衰减性.并给出它们具有一阶和二阶光滑性的条件.最后举了一个构造算例.
研究一定条件下的四阶微分方程的两点边值问题及周期性边值问题的微分不等式理论与解的存在性.
KNN算法通过近邻样本的个数分类,Entropy-KNN算法给出新的相似度定义,而且投票时综合待测样本与近邻样本的个数和各类近邻的平均距离,但两种算法均未考虑近邻样本间的相似.提
图像分割技术在PCB自动光学检测中应用广泛.K-means聚类算法简单有效,能实现PCB灰度图像的自动分割.然而,随机选取的初始聚类中心易导致K-means算法最终找到的是局部最优值,对PCB图像分割效果有一定影响.引入PSO算法的群智能搜索策略,提出一种新的寻找聚类中心的算法.实验表明,在PCB图像分割中使用该算法可防止陷入局部最优值.