论文部分内容阅读
由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及FIFO栈实例,应用测试弧、抑制弧对系统进行了合理的建模与分析。
含抑制弧和测试弧Petri网的建模及其行为分析
【摘 要】
：
由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及FIFO栈实例,应用测试弧、抑制弧对系统进行了合理的建模与分析。
【机 构】
：
长沙理工大学计算机与通信工程学院,长沙410076
【出 处】
：
系统仿真学报
【发表日期】
：
2008年S2期
其他文献
地铁轨道交通已成为解决大城市交通问题的首要选择，但同时也给沿线的居民和建筑物带来了诸多的环境污染。本文以北京地铁五号线为例，介绍其采取的减振技术措施，根据具体环境和敏
对起重机横梁焊缝上预制裂纹进行了0～80 kN的加载试验,研究了磁记忆信号的特征.发现磁记忆信号的幅值和梯度随加载过程呈现一定规律的变化.试验结果表明：在0～50 kN的加压过程中.
长期工作稳定性是衡量高温超导块材工程化应用的重要指标之一.本文针对西南交通大学超导技术研究所2000年购买的,在“世纪号”载人高温超导磁悬浮样车上装载至今,运行近9年的
多目标优化重建算法是解决有限角度重建的主要方法之一,但是传统多目标优化重建方法的目标函数的不单一导致权系数的选择具有较大的盲目性,造成重建结果分辨率低、伪影严重.
LabVIEW是NI公司推出的一种高效的虚拟仪器开发平台,在LabVIEW中调用动态链接库DLL能弥补其不具备直接对硬件I/O地址进行访问的功能.介绍了在超声检测系统中应用动态链接库来
随着雷达应用、卫星通信及高速宽带无线通信的迅速发展，对每个发射机的核心部件——射频功率放大器等电子器件行为的研究已经从简单的线性化测量和建模逐渐转向更为全面系统、
本文对舷侧阵平台进行了有限长弹性圆柱壳体简化,推导了圆柱壳体矢量场计算方法,建模分析了点力作用下表面声压与振速场分布、壳体近场辐射声压与振速场幅值分布以及声场的空
时深转换处理是反射地震资料处理解释中重要的步骤。因准确的时深转换需要确定的速度模型,而速度模型的建立又需要验证钻孔与测井资料作正演,获取这些资料需要很大投入。目前
对TSP203仪器隧道预报采集数据的检查,发现有相当数量的原始采集数据中存在各种类型的干扰波,造成预报成果出现假象。这里论述检查隧道地震渡预报原始数据的重要性,分析干扰
在某地铁工程后浇环梁施工前,由于受特大暴雨冲刷河堤影响(后浇环梁在河堤下方),出现地面塌陷现象,后经回填处理,使后浇环梁上方原有地层发生变化,施工止水难度很大。通过对