基于Petri网的船运交通系统死锁预防策略

摘要

船运交通系统是一种典型的并发和冲突同在的离散事件系统，如何合理的分配航道资源，避免航道拥堵是船运管理的主要目的。作为一种理想的离散事件系统建模工具，利用Petri网可以更好的对船运交通系统的各种行为进行模拟分析。 死锁预防的核心思想是控制网中的每一个可被清空的信标，使控制后的网不再含有可被清空的信标。通常，随着网规模的增大，极小信标的数目会激增，这样便会导致最终的网系统比初始的网系统复杂很多，而利用基本信标可以极大简化结构。 本文利用Petri网作为工具对船运交通系统进行建模分析，分析系统中可能存在的死锁问题，通过添加控制库所的方法对死锁进行控制。通过基于基本信标的死锁预防算法对模型进行分析，从理论上解决了航行中的死锁问题，从而得到无死锁的船运交通系统模型。

目录

文摘

英文文摘

声明

第一章 绪论

1.1 研究的背景及意义

1.2死锁预防策略

1.3本文完成的主要工作

第二章 Petri网的基本概念

2.1 Petri网的基本理论

2.1.1 Petri网的基本定义

2.1.2 Petri网的活性及不变式

2.1.3 Petri网的一些基本性质

2.1.4 Petri网的特点

2.2 Petri网实例分析

2.2.1 Petri网模型的建立

2.2.2 Petri网实例分析

2.3 Petri网研究现状

2.4小结

第三章S3PR网模型

3.1 RCN介绍

3.2 Petri网中库所的分类

3.3 FMS的Petri网模型-S3PR

3.4 S3PR实例

3.5 小结

第四章Petri网的基本信标

4.1 Petri网的基本信标和从属信标

4.2 Petri网实例中的基本信标

4.3 小结

第五章船运交通系统模型

5.1 船运交通系统模型

5.2船运交通系统Petri网模型

5.3小结

第六章死锁预防策略

6.1 死锁预防策略介绍

6.2 Ezpeleta死锁预防算法

6.2.1算法介绍

6.2.2模型解决

6.3基于基本信标的算法

6.3.1基本信标控制理论

6.3.2模型解决

6.4算法比较

6.5 小结

结束语

致谢

参考文献