【摘 要】
：
论文通过对一种FMS的Petri网模型—SPR子类的结构特性分析,提出了资源回路和资源链的概念,并提出了用资源链求取SPR网中的所有严格极小信标的方法.提出了Petri网的一种特殊拓
论文部分内容阅读
论文通过对一种FMS的Petri网模型—S<3>PR子类的结构特性分析,提出了资源回路和资源链的概念,并提出了用资源链求取S<3>PR网中的所有严格极小信标的方法.提出了Petri网的一种特殊拓扑结构—基本信标的概念,在Petri网中基本信标的集合是严格极小信标集合的真子集,尤其在大型Petri网系统中,基本信标的集合比严格极小信标的集合要小得多.在现有的信标控制方法的基础上,论证了通过受控基本信标来控制冗余信标的方法.只要适当控制基本信标就可以控制所有的冗余信标,进而网中所有的严格极小信标成为可控的.提出了基本信标集合和冗余信标集合的查找算法.提出了基于基本信标的FMS死锁预防方法和基于基本信标的FMS死锁迭代控制方法.提出了死锁控制的P-不变式方法.基于基本信标的死锁预防方法最大限度的利用了网结构的信息,而现有其它方法并没有做到这一点.
其他文献
《关于深化新时代学校思想政治理论课改革创新的若干意见》中指出:“各类课程同思政课建设的协同效应有待增强,学校、家庭、社会协同推动思政课建设的合力没有完全形成,全党
正文：网络信息安全问题不仅越来越受到生活在网络信息社会中的个人与公司的重视，而且已涉及到社会生活的方方面面。为了建立安全可靠的信息网络，进行安全技术的研究与设计应用是
该课题针对麻醉机上控制呼吸器的自动控制模块进行了研制和开发,利用Intel 80C196KC单片机实现模块控制,设计出了具有自主知识产权的呼吸器自动控制模块,具体功能如下:■针对
收卷机是卷料类产品加工的收料机构，以便于卷料产品后续的储存、运输。随着我国制造业的发展，对卷料类产品的需求量大大增加，同时推动了收卷机的快速发展。目前，国内对卷料成型的
建筑机电设备的安装是一项专业性非常强的工程,需要专业的施工人员.而且,机电设备安装质量直接决定了建筑工程投入运营之后的使用性能和寿命.但是随着科技的发展,建筑机电设
本文在分析和讨论了虚拟企业研究现状与产生背景的基础之上，围绕虚拟企业的实施进行探讨。重点研究了基于项目管理的虚拟企业运作方式的实现、虚拟企业伙伴选择、虚拟企业网络关键技术等方面的内容。最后结合我国的实际情况，提出了在我国实施虚拟企业的一些建议。这些工作对促进虚拟企业的研究和发展；增强我国企业适应市场快速变化的能力，优化企业间及企业内资源配置，提高企业竞争力都有重要意义。第一章：在回顾了先进制造生产
离心压气机作为涡轮增压器等叶轮机械的核心部件,对其整体性能有重要影响。设计一款结构紧凑、高压比、高效率的离心压气机是当前研究热点问题之一。由于离心压气机内部流动
机器人直线运动特性是工业机器人性能的一个重要指标,而直线轨迹精度则综合反映了机器人的机电性能和控制运动轨迹的能力.该文根据三角测量原理,利用主动式视觉传感器和特制
目的:分析优质护理对提高自然分娩率的临床效果及使用价值.方法:选择我院于2019年1月-2019年7月内收治的自然分娩孕产妇100例,采用随机分组的办法将孕产妇分为两组,其中对照