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

论文导读：
基于时间有色Petri网的计算机联锁系统建模论文相关文献朱中仁-基于Petri网的工作流模型构建[J];安徽电子信息职业技术学院学报;、方冉;陈乃金-基于S34B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);、沈鹏;焦利明;杨建立-基于Petri网的防空旅ISR系统决策组织结构[J];兵工自动化;、陈玉波;李世英;张彦忠;陈乐-作战单元装备系统的需求量仿真模型[J];兵工自动化;、吴圣义;吕永健;逯国亮;胡春林-基于分层着色Petri网的飞机战伤抢修系统建模[J];兵工自动化;、康振;吕鸣;郑志强-单兵系统过程模型研究[J];兵工学报;、张亮;金茂忠;姚淑珍-一种支持工作流模式的扩展工作流网[J];北京航空航天大学学报;、王芳,侯朝桢;用蒙特卡罗和Petri网策略估计随机流网络的可靠性[J];北京理工大学学报;、张海艳;夏飞-基于改善Petri网的船舶电力系统故障诊断[J];船电技术;、常欣;胡亮;袁华;逄焕利-基于Petri网的分布式网络单元流量优化[J];长春工程学院学报(自然科学版); 前4条 张继军;董卫-基于Petri网的构件组装运算及其性质[A];刊全文数据库杜世昌;王猛;奚立峰-多工序加工系统产品尺寸误差传递建模[J];机械工程学报;、邱静，彭智华，温熙森，唐丙阳;柔性加工单元故障诊断的模糊Petri网模型[J];国防科技大学学报;1996年02期、赵不贿;柔性制造系统的P－定时有色Petri网模型[J];江苏理工大学学报;1994年06期、花杏华;模具设计制造过程的Petri网模型[J];模具制造;、黄海贤;匡洪海;黄少先-配电网停电管理系统分析[J];广东电力;、赵建，王丽芳，符意德;Petri网在MIS结构设计中的应用[J];南京理工大学学报;1996年03期、邱建雄,谭东风;C~3I系统功能需求的Petri网模型[J];数学理论与应用;、刘莉莉,傅铅生;应用Petri Net策略建模分析制造企业ERP的实施工程[J];航空工程与维修;、谭宁-基于Petri网的办公自动化系统结构模型设计[J];硅谷;、朱恒，何汉武，熊有伦，林奕鸿;虚拟制造系统建模与仿真[J];中国机械工程;1996年03期 李震;刘斌;殷永峰;李晓勋-基于改善Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];、薛瑜;李承家;吕莉芳-模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];、刘长有;张莉-基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国制约会议论文集[C];、吕莉芳;李承家;薛瑜-时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];、王志坚;蔡自兴-基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国制约会议论文集[C];、王旭;卢红星;叶阳东;贾利民-基于混合Petri网的列车速度调整的分析[A];第二十七届中国制约会议论文集[C];、叶阳东;贾利民-列车运转对象Petri网系统的仿真[A];、王小梅;李新明;刘东;韩星晔-基于Petri网的网络传输协议建模与性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];、韩亚欣;罗明宇;谭跃进-主生产调度过程的随机Petri网模型[A];'、张春雷;孙志挥;陈淼-一种基于PETRI高级网的工作流动态建模策略[A];第十七届全国数据库学术会议论文集（研究报告篇）[C];
论文目录
摘要4-6
Abstract6-10
1绪论10-17

1.1选题背景及作用10-12

1.2国内外研究动态12-15

1.2.1Petri网应用12-13

1.2.2计算机联锁系统13-14

1.2.3计算机联锁系统建模14-15

1.3研究目的及研究内容15-17

2Petri网基本理论17-24

2.1基本Petri网定义17-21

2.

1.1基本Petri网概念17-19

2.

1.2Petri网的发射规律19

2.

1.etri网的性质19-21

2.3有色Petri网21-22

2.4时间Petri网22-24

3ITCPN理论24-31

3.1ITCPN介绍24

3.2ITCPN定义24-29

3.

2.1ITCPN的动态行为25-27

3.

2.2ITCPN的模型举例27-29

3.3ITCPN分析策略29-31
4计算机联锁系统组件建模31-40

4.1计算机联锁系统组成31-32

4.2道岔的建模32-34

4.3信号的建模34-36

4.4轨道区段的建模36-40

5计算机联锁系统过程建模40-54

5.1计算机联锁系统模型假设41-42

5.2进路建立的ITCPN模型42-45

5.3进路解锁的ITCPN模型45-48

5.4模型分析48-54

结论54-56
致谢56-57
参考文献57-59
攻读学位期间的研究成果59
计算机联锁系统ITCPN建模
参考文献
刘思华;电网故障诊断策略的研究[D];山东大学;刊全文数据库杜世昌;王猛;奚立峰-多工序加工系统产品尺寸误差传递建模[J];机械工程学报;、邱静，彭智华，温熙森，唐丙阳;柔性加工单元故障诊断的模糊Petri网模型[J];国防科技大学学报;1996年02期、赵不贿;柔性制造系统的P－定时有色Petri网模型[J];江苏理工大学学报;1994年06期、花杏华;模具设计制造过程的Petri网模型[J];模具制造;、黄海贤;匡洪海;黄少先-配电网停电管理系统分析[J];广东电力;、赵建，王丽芳，符意德;Petri网在MIS结构设计中的应用[J];南京理工大学学报;1996年03期、邱建雄,谭东风;C~3I系统功能需求的Petri网模型[J];数学理论文导读：中国计算机报;、陈列欢;高剂量疗法可治红斑狼疮;医药经济报;、;ARM发布RealView系统建模器;人民邮电;、金华;微软X＃的一些推测;中国计算机报;、董萍;计算机联锁系统上列车运转更安全;中国教育报;、陈秉林;美国汽车旅游的启迪;中国旅游报;、略雨编译;超越历史尘封的永恒;中国商报;、通讯员武海宝;通号产品列
论与应用;、刘莉莉,傅铅生;应用Petri Net策略建模分析制造企业ERP的实施工程[J];航空工程与维修;、谭宁-基于Petri网的办公自动化系统结构模型设计[J];硅谷;、朱恒，何汉武，熊有伦，林奕鸿;虚拟制造系统建模与仿真[J];中国机械工程;1996年03期 李震;刘斌;殷永峰;李晓勋-基于改善Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];、薛瑜;李承家;吕莉芳-模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];、刘长有;张莉-基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国制约会议论文集[C];、吕莉芳;李承家;薛瑜-时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];、王志坚;蔡自兴-基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国制约会议论文集[C];、王旭;卢红星;叶阳东;贾利民-基于混合Petri网的列车速度调整的分析[A];第二十七届中国制约会议论文集[C];、叶阳东;贾利民-列车运转对象Petri网系统的仿真[A];、王小梅;李新明;刘东;韩星晔-基于Petri网的网络传输协议建模与性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];、韩亚欣;罗明宇;谭跃进-主生产调度过程的随机Petri网模型[A];'、张春雷;孙志挥;陈淼-一种基于PETRI高级网的工作流动态建模策略[A];第十七届全国数据库学术会议论文集（研究报告篇）[C]; 中国重要报纸全文数据库;值得注意的免费安全工具[N];网络世界;、李春喜;汤姆逊要做消费电子中国魁首[N];中国计算机报;、陈列欢;高剂量疗法可治红斑狼疮[N];医药经济报;、;ARM发布RealView系统建模器[N];人民邮电;、金华;微软X＃的一些推测[N];中国计算机报;、董萍;计算机联锁系统上列车运转更安全[N];中国教育报;、陈秉林;美国汽车旅游的启迪[N];中国旅游报;、略雨编译;超越历史尘封的永恒[N];中国商报;、通讯员武海宝;通号产品列入国家重点新产品计划[N];人民铁道;、;厂商全方位备战3G[N];计算机世界; 中国博士学位论文全文数据库李绍勇;基于信标迭约的Petri网死锁预防策略[D];西安电子科技大学;、陈玉峰;柔性制造系统最大许可行为Petri网制约器设计[D];西安电子科技大学;、李凤英;Petri网的符号分析技术及其应用研究[D];西安电子科技大学;、刘改云;自动制造系统的Petri网结构分析和制约器设计[D];西安电子科技大学;、孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;、李海凌;基于Petri网工作流技术的工程项目群管理研究[D];西南交通大学;、刘心;基于Petri网的FMS建模及故障诊断策略研究[D];哈尔滨工程大学;、杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;、王玉英;基于赋时有色Petri网的Web服务组合建模验证与测试技术研究[D];西安电子科技大学;、秦萌;存在不可控与不可观变迁的Petri网活性制约器设计[D];西安电子科技大学; 中国硕士学位论文全文数据库王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;、杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;、李桂枝;皮带机群控系统的Petri网建模与规则化描述[D];合肥工业大学;、李亚南;基于区域理论的Petri网活性制约器优化设计[D];西安电子科技大学;、何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;、翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;、王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;、赵冬霞;基于面向对象时间Petri网的物流配送业务流程优化与仿真[D];哈尔滨工业大学;、高峰;组合式Petri网对PI演算的转换与验证[D];吉林大学;、赵珊;基于UML和Petri网模型验证框架的设计与实现[D];西安建筑科技大学;