基于Petri网结构死锁问题求解方法的研究

来源 :福建电脑 | 被引量 : 0次 | 上传用户:kcj321
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于Petri网的结构特性,给出了死锁的定义,在此基础上给出了死锁问题的几种求解方法。
其他文献
脊髓纵裂多发生在儿童期[1],成年发病罕见,并有其特殊之处[2].我科于2009年1月收治1例成年发病的脊髓纵裂患者,为提高对成年发病脊髓纵裂患者的认识,现结合文献报道如下.
目前,国内外许多科研单住和学校机构对智能组卷技术进行了大量的研究,其中基于遗传算法的智能组卷技术最为先进,但由于组卷问题的复杂性,仍然存在许多的不足,本文尝试从遗传算法在
流媒体技术是多媒体信息在网络中以流方式传榆的一种技术,该技术可以大大减少传输延时,对客户端机缓存要求不高。并且具有媒体流同步播放的特性。实践证明,该技术用于网络教学有
分析了BP神经网络和遗传算法(GA)的优缺点。在此基础上提出将BP和GA相结合,并应用于交通量的短时段预测,把GA用来同时训练BP的权值、阈值度隐含层节点数直到误兰趋于稳定,确定隐层
目的探讨老年高血压患者血浆B型脑钠肽(BNP)与左室肥厚(LVH)和舒张功能不全(LVDD)的相关性。方法选择我院收治的左室射血分数(LVEF)正常的114例高血压患者,根据左室重量指数(LVMI)标准分
简述了网络测量软件-MRTG的功能与安装。详细分析了MRTG的配置以及在线路监测、优化网络、发现病毒以及主机监控方面的应用。并给出了在应用MRTG中的增强系统安全和优化查询
通过分析当前WebGIS基本构造模型,在充分理解WebGIS互操作理论的基础上,提出了实现互操作的三种方式:数据源的互操作、WebGIS数据发布的互操作、GIS功能互操作,并设计了一种基于SVG/XML技术的互操作模型,用SVG/XML表示空间数据,采用空间数据发布互操作的方式实现异构GIS系统的互操作。
学校的网络机房常常会发生频繁死机、系统崩溃、病毒破坏系统的事情发生;另外注册表被修改,系统被删除。非法安装游戏程序等等也时有发生。经常造成系统瘫痪,给正常的教学活动带
目的 探讨新型5α-还原酶抑制剂爱普列特对老龄雄性SD大鼠前列腺增生组织的微血管的影响及作用机制。方法将70只已增生老龄雄性SD大鼠随机分为爱普列特大剂量组(20只)、小剂量
本文介绍了如何利用ASP技术实现每学期的教师教学质量评测工作,并从应用的角度分析了教师教学质量评测系统的设计与实现。本系统包括用户登陆(含学生、管理员)、评分、验证、提