学位论文 > 优秀研究生学位论文题录展示

关于Petri网可重复向量及死锁的求解算法

作　者: 刘关俊
导　师: 蒋昌俊
学　校: 山东科技大学
专　业: 计算机软件与理论
关键词: Petri网可重复向量死锁 T-不变量关联矩阵算法
分类号: TP301.1
类　型: 硕士论文
年　份: 2006年
下　载: 142次
引　用: 3次
阅　读: 论文下载

内容摘要

可重复向量与死锁是Petri网理论中两个非常重要的概念，在Petri网的活性、公平性的研究中起着举足轻重的作用，因此，可重复向量与死锁的求解就成了一个必要的环节。本文在对Petri网进行结构变化的基础上，研究了T-不变量、可重复向量、死锁间的关系，给出了一些新的算法去求解一个网的可重复向量与死锁。定义了一个网的变迁扩充网。揭示了一个网的可重复向量与这个网的变迁扩充网的T-不变量之间的关系：对原网中任意的一个可重复向量来说，在其变迁扩充网中都存在一个T-不变量与之对应，反之亦然。因此，求解一个网的可重复向量就可以通过求解其变迁扩充网的T-不变量来实现。给出了一个求解可重复向量的算法，此算法能够求出一个网的一组可重复向量，并且这个网的任意一个可重复向量都可由这组可重复向量非负有理数系数线性表出。定义了一个网的变迁分裂网。证明了一个网的死锁与其变迁分裂网的死锁完全相同。同时，还证明一个网的变迁分裂网的死锁与这个变迁分裂网的对偶网的可重复向量支集完全相同。这样，死锁的求解就可以转化为可重复向量的求解。描述了一个求解死锁的算法，此算法能够求出一个网的一组死锁，并且，这个网的任意一个死锁都是这组死锁中某些个的一个并集，同时，这组死锁还包含了所有的极小死锁。本文中求解算法的理论基础均是基于网结构的变化，但事实上，这些算法均可通过对Petri网的关联矩阵实施初等变换来完成，算法简洁，容易理解与实现。

全文目录

摘要  4-5
Abstract  5-8
1 绪论  8-14
  1.1 课题研究的背景  8-12
  1.2 研究的内容及方法  12-13
  1.3 本文的组织安排  13-14
2 基本知识  14-21
  2.1 Petri网的基本概念  14-18
  2.2 公平网与弱公平网  18-19
  2.3 求解T-不变量的FM算法  19-21
3 可重复向量的求解算法  21-35
  3.1 求解可重复向量的算法基础  21-25
  3.2 可重复向量的求解算法  25-31
  3.3 举例  31-35
4 死锁的求解算法  35-44
  4.1 求解死锁的算法基础  35-39
  4.2 死锁的求解算法  39-41
  4.3 举例  41-44
5 结束语  44-45
附录A  45-51
致谢  51-52
攻读硕士学位期间主要成果  52-53
参考文献  53-58
中文详细摘要  58-68

关于Petri网可重复向量及死锁的求解算法

内容摘要

全文目录

相似论文