原文传递
基于Petri网的船运交通系统死锁预防策略
| 论文题名： | 基于Petri网的船运交通系统死锁预防策略 |
| 关键词： | Petri网;船运交通系统;死锁预防 |
| 摘要： | 船运交通系统是一种典型的并发和冲突同在的离散事件系统，如何合理的分配航道资源，避免航道拥堵是船运管理的主要目的。作为一种理想的离散事件系统建模工具，利用Petri网可以更好的对船运交通系统的各种行为进行模拟分析。 死锁预防的核心思想是控制网中的每一个可被清空的信标，使控制后的网不再含有可被清空的信标。通常，随着网规模的增大，极小信标的数目会激增，这样便会导致最终的网系统比初始的网系统复杂很多，而利用基本信标可以极大简化结构。 本文利用Petri网作为工具对船运交通系统进行建模分析，分析系统中可能存在的死锁问题，通过添加控制库所的方法对死锁进行控制。通过基于基本信标的死锁预防算法对模型进行分析，从理论上解决了航行中的死锁问题，从而得到无死锁的船运交通系统模型。 |
| 作者： | 郏建华 |
| 专业： | 控制理论与控制工程 |
| 导师： | 李志武 |
| 授予学位： | 硕士 |
| 授予学位单位： | 西安电子科技大学 |
| 学位年度： | 2009 |
| 正文语种： | 中文 |
检索历史
应用推荐
