自动制造系统规格说明语言的Petri网语义设计

来源 :西安电子科技大学学报 | 被引量 : 0次 | 上传用户:yangliang0510
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了自动制造系统中离散事件的形式化表示方法.依助通信顺序进程设计了制造系统的规格说明语言,在给出事件的Petri网表示的基础上,讨论了系统行为描述语言的Petri网语义,即系统Petri网控制器的静态结构.根据系统行为的描述语言及Petri网控制器的结构,可以研究具有活性、安全或有界性以及可逆性的Petri网控制器初始标识的设计算法.因此,制造系统规格说明语言的Petri网语义设计,是自动制造系统Petri网控制器形式化设计的关键和基础
其他文献
针对复杂系统仿真软件的开发需要与软件工程相结合的问题,提出一个复杂系统仿真软件的开发过程SPCSS。SPCSS包括需求模型、领域模型、边界模型、外观模型、应用模型和架构模型
在理论分析和实验研究的基础上,提出可用带宽自适应判定算法。该算法采用自适应周期性探测流技术,通过周期性地发送包列,自适应地判断延迟趋势并反馈探测值,以准确快速地实现可用
随着车辆数量的不断增多,针对车联网中移动性管理的需求也越来越迫切。移动通信的快速发展使车联网系统得到了更好的网络和技术支持保障,智能交通系统的实现更进一步。车联网中移动性管理研究可以优化城市车联网中基础网络设备的建设部署,降低交通拥堵,提高用户的通信服务体验,为无人驾驶平台提供技术支持,给智能交通系统的实现带来更多的助力。传统的车联网移动性管理基于移动IP(The mobility-enable
目的观察分析实时三维超声心动图(RT-3DE)在评估心房颤动(AF)患者右心功能的临床效果。方法选取2016年2月至2017年12月于该院诊治的AF患者194例作为研究对象,分别采用常规超
提出一种多重查询调度算法——连续读取特性(CRP)调度算法,该算法应用连续读取特性,使查询的数据可以重组出某些连续关系,从而使之具有连续读取特性,解决了现有算法中有部分系统资
在信息社会,新媒体是手段、是途径,其最终目的是为了传播信息内容。林业档案信息在林业科学研究、经济建设等各项活动中具有独特的资源优势,是需要借助新媒体广泛传播的重要
根据5G新业务的特点,对接入光缆网规划原则提出一些见解,特别是对主干光缆环的建设提出规划思路。接入光缆网规划重点是规划综合接入区内的主干光节点和主干光缆环,提出了确