论文部分内容阅读
详细介绍了基于Petri网的自动售货机以及列车运行信号控制系统的建模及其工作原理。结果表明。Petri网能够清楚而简单地描述事件间的因果关系、时序关系以及并发系统中某些与时间有关的重要性质。如最终性和公平性。因此，Petri网可作为并发系统形式描述和分析的有力工具。
Petri网在信号控制系统中的应用
【摘 要】
：
详细介绍了基于Petri网的自动售货机以及列车运行信号控制系统的建模及其工作原理。结果表明。Petri网能够清楚而简单地描述事件间的因果关系、时序关系以及并发系统中某些与
【机 构】
：
兰州交通大学机电技术研究所
【出 处】
：
电气传动自动化
【发表日期】
：
2006年3期
其他文献
低渗透气藏和特低渗透气藏在我国已发现和开发的气藏中占有相当大的比例。由于低渗透气藏和特低渗透气藏储层物性差、地质条件和渗流机理复杂，造成气井单井控制储量低、产量低
当前探究式教学在课堂中已经成为大部分教师首选的教学方式,希望在教师和学生的互动中,尤其是学生的自觉探索中达到最好的教育效果。高效的探究式教学活动需要学生在教师的帮
结合传统测量方法的不足，提出了全站仪高程测量的新方法，比较了全站仪水准测量和三角高程测量与传统的测量方法，研究了新方法的可行性，总结了新方法的优势，以达到提高测量精度、减
近年来，借助互联网信息技术，向客户提供信息服务和金融交易服务的新兴银行服务模式——网上银行越来越多影响人们的生活，本文从网上银行的概念及特点、网上银行支付业务账务处理
为适应电力行业改革和发展的需要及电力企业运用信息技术提升竞争力的需要,提出了在电力调度领域运用信息交互总线IEB技术,它是基于面向服务框架建立的服务总线,可以方便地实
针对籽棉图像阴影多、常规图像处理方法难于识别的问题,以去除棉叶、棉壳等有机杂物的籽棉为样本,将不同颜色、形状、尺寸的12种常见异性纤维和籽棉样本随机地分布在运转中的
随着市场经济的快速发展，企业之间的竞争越来越激烈，企业管理的变革也越来越深入。随之，企业在组织结构调整、人事管理变动、劳动效率提升等变革进程中引起了企业员工的强烈不满
调查了冬凌草主产区太行山区冬凌草的立地因子,对冬凌草的分布、生长的自然条件、生物学特性及其伴生植物种类进行了介绍。采用《中药材产地适宜性分析地理信息系统》（TCMGIS-
目的：研究氨氯地平贴片体外释药特性和离体透皮吸收行为。方法：采用HPLC法测定制剂中氨氯地平的含量．按中国药典方法进行体外释放度的测定．利用改良Franz扩散池研究贴片的透皮吸