【摘 要】
：
该文是PETRI网在油站系统的设计,分析中的具体应用.介绍了用PETRI网描述系统的方法.给出了油站系统的几个关键功能模块的PETRI网说明,并且利用可达树,可达图等分析工具对所给
论文部分内容阅读
该文是PETRI网在油站系统的设计,分析中的具体应用.介绍了用PETRI网描述系统的方法.给出了油站系统的几个关键功能模块的PETRI网说明,并且利用可达树,可达图等分析工具对所给的PETRI网进行了分析然后讨论了所给的结果,说明了描述系统的PETRI网不仅可以对系统的控制流的设计进行验证说明,而且可以作为系统设计的一种工具.首先,作者描述和说明了油站系统的总体模式,然后采用分层细化的方法,依次建立了通信系统,加油控制器系统,总台控制系统和总台数据管理系统的Petri网模型,为验证系统设计的正确性.作者采用了可达树和S-不变量分析了通信系统中的查询式接受/发送系统,用可达图分析了加油控制器系统控制流之间的关系,并说明了总台与加油控制器间简单的通信规程.最后将各个验证正确的Petri网转化为易于编程的标题网.
其他文献
该文讨论的"极小流形"是拓扑学研究的一个新课题,对深化流形的分类,研究流形的构造有重要意义,并与Poincare猜想有直接联系.该文定义了"极小流形"并对非球面极小5-流形作了较
铁矿石是人类发现最早且应用最为广泛的一种金属矿产资源。我国铁矿资源的特点:贫矿多,富矿少,伴生矿产多,矿石组成成分较复杂,这给铁矿的勘探和开采造成了一定的困难。和发
间断有限元方法是对椭圆方程（组）进行数值求解的一种基本离散化方法.间断有限元方法通常具有局部守恒性，稳定性及高阶精确度.但是与协调有限元相比，其离散系统通常包含更多的自由
交替方向法（ADM)是求解可分离结构变分不等式问题的一种最经典有效的方法，它先将一个高维的变分不等式问题分裂成一系列低维子变分不等式问题，然后通过交替地求解这些低维子变分
随着三维地质建模技术的不断发展,数学、地质学与计算机等学科的不断结合,三维地质建模在地质领域中的研究不断深入,三维地质建模已经成为数字矿山建设的关键步骤之一。本文
众所周知，有界线性算子半群谱理论的研究在半群理论中有着重要的位置。对强连续半群即C-半群的谱理论(11，20,27.29,31,34)已作了系统完善的研究。然而无论在理论还是在应用方面