【摘 要】
：
死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,
【机 构】
：
浙江工商大学信息与电子工程学院,同济大学教育部嵌入式系统与服务计算重点实验室,美国新泽西理工学院电子与计算机工程系
【基金项目】
：
国家自然科学基金(61472361,61100056,61374148);浙江省杰出青年基金(LR14F020001);浙江省科技计划(2013C31111);浙江省新型网络标准与应用技术重点实验室项目(2013E10012);浙江工商大学创新项目(CX201411010)资助~~
论文部分内容阅读
死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,而对于一般Petri网,这方面的工作还需改进和完善.近年来,学者们针对一般Petri网及其子类提出了不少信标可控性定义,但这些定义并不完善,仍有大量的问题亟待解决.首先回顾了文献中的各个信标可控性定义,提出了两个新的信标可控性定义,然后从可控性定义的宽松程度、应用范围以及等价性等方面分析比较了现有的信标可控性定义优缺点.最后给出了今后的研
其他文献
【正】 当前围绕着李自成的思想而展开的讨论中,有两个理论问题特别引起人们的关注。一个是对农民政权的认识,一个是对农民思想的评价。在这里,我想就第二个问题,即农民阶级
在倡导打造"四全媒体"的背景下,传统电视新闻主持人的主体传播意识增强,传播"空间场"由演播室转变为"融媒场",传播实践从"传声筒"转为新闻评论人、舆论监督人和短视频博主,在
“非遗”保护的分类保护已经成为共识，但就“非遗”剧种而言，分类保护尚无专门研究。基于保护目的，将“非遗”剧种按照剧种生存状态、受众体量和地域、文化生态的不同状态、文化
城市土地利用实质上是一种特殊的城市经济活动即土地交易的结果。建议采用一个基于制度分析法的城市土地利用研究思路,它最初来源于关于房地产交易决策的影响因素的研究框架,
中国当代文学史的教学是一种开放的,不断增加新质的教学。文章从教材与教学的角度建立了教学的依据,从史学观念规定了教学的逻辑,尤其是从文学授课和文化浸润的关系提出了文
为了研究缸内直喷汽油机喷油嘴内流动特性及影响喷孔出口流动参数的因素,建立了欧拉多流体模型对喷嘴内流动进行模拟计算,并对所建模型进行了验证.分析了不同介质和不同喷嘴
低压动力电路及动力设备经过一系列的单体测试、检查和试验后,运行准备工作基本完毕,具备了运行条件。需要送电、试车、试运行,这是电气工程中一项重要的工作,稍微疏忽将会酿
素质教育是当前教育教学改革的重点。文章对现代教育技术的研究重点,＂双主＂教学模式的理论基础及其内涵,现代教育技术对＂双主＂教学模式的支撑和在大学英语教学中的应用,以及促进
针对当前历史街区保护改造中大多仅仅对外表面进行改造的情况,以武汉昙花林历史街区保护改造为例,提出从建筑方面和人文方面对历史街区保护改造的建议,并作了具体阐述,以期指