该文结合大型现代化住宅小区停车难的实际情况及机械化停车库的发展状况,提出了"现代住宅小区智能停车控制系统的Petri网建模及其实现"课题.旨在应用Petri网理论研究小区停车库系统的管理调度和控制系统,从而解决大型现代化住宅小区的停车问题,并且,提高住宅小区立体停车库的利用效率,缓解城市静态交通压力.该文的主要工作包括:(1)介绍了离散事件建模的基本概念及其建模方法,重点介绍了Petri网理论及五种扩展的Petri网模型.(2)介绍了现代住宅小区及其停车需求和停车库的规划,研究了小区停车库管理系统设计时需要注意的问题和停车库管理系统的特点及其应该具备的功能.(3)对现代住宅小区分布式停车库系统进行了研究,在此基础上,研究了停车库系统的调度策略及其决策规则.在分析该系统的静态结构、动态行为和动态行为规则的基础上,建立了小区出入口的Petri网模型、小区停车库Petri网模型和停车库系统的综合Petri网模型并进行了分析.(4)介绍了立体停车库三级控制结构的控制方案,根据现代住宅小区建造立体停车库的需要,研究了简易魔方式立体停车库和电梯式立体停车库的结构特点,工作原理,附属设备和控制系统的设计,并且分析了未来电梯式立体停车库的发展趋势.(5)建立了某住宅小区停车库管理系统的网络拓扑图,并研究了管理系统四大组成部分(通讯中心、管理中心、计费中心和监控中心)的设备组成以及具体的功能菜单设置.根据现在中国大城市静态交通状况,介绍了利用小区停车库缓解城市静态交通的两点方案,即开发停车诱导与信息系统和在不同的停车场/库之间就近互补停车.