基于时间有色Petri网的计算机联锁系统建模

摘要	第1-6页
Abstract	第6-10页
1 绪论	第10-17页
·选题背景及意义	第10-12页
·国内外研究动态	第12-15页
·Petri 网应用	第12-13页
·计算机联锁系统	第13-14页
·计算机联锁系统建模	第14-15页
·研究目的及研究内容	第15-17页
2 Petri 网基本理论	第17-24页
·基本 Petri 网定义	第17-21页
·基本 Petri 网概念	第17-19页
·Petri 网的发射规律	第19页
·Petri 网的性质	第19-21页
·有色 Petri 网	第21-22页
·时间 Petri 网	第22-24页
3 ITCPN 理论	第24-31页
·ITCPN 介绍	第24页
·ITCPN 定义	第24-29页
·ITCPN 的动态行为	第25-27页
·ITCPN 的模型举例	第27-29页
·ITCPN 分析方法	第29-31页
4 计算机联锁系统组件建模	第31-40页
·计算机联锁系统组成	第31-32页
·道岔的建模	第32-34页
·信号的建模	第34-36页
·轨道区段的建模	第36-40页
5 计算机联锁系统过程建模	第40-54页
·计算机联锁系统模型假设	第41-42页
·进路建立的 ITCPN 模型	第42-45页
·进路解锁的 ITCPN 模型	第45-48页
·模型分析	第48-54页
结论	第54-56页
致谢	第56-57页
参考文献	第57-59页
攻读学位期间的研究成果	第59页