Petri网简化技术在死锁避免控制器设计中的应用

来源 :第二十四届中国控制会议 | 被引量 : 0次 | 上传用户:hackrx123456789
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文为了简化死锁避免控制器设计的复杂性,引入几条Petri网简化规则对系统的Petri网模型进行简化.简化技术减少了Petri网的维数而保持原Petri网的一些关键的性质,如非死锁.文中给出了简化网死锁避免控制器与原网死锁避免控制器两者之间的关系,所以无需直接计算原网的死锁避免控制器,可以根据简化网的死锁避免控制器推算出原网的死锁避免控制器,从而减少计算原网死锁避免控制器的复杂性.
其他文献
由于受到恶劣工作环境等条件的限制,传统的嵌入式星载系统性能不高,为了满足目前以及今后大规模的星上数据处理的需要,我们开始寻找更优的系统设计方案.本文以星载系统应用为
党的十九大明确将防范化解重大风险列为三大攻坚战之首.随着企业风险管理意识的增强,风险管理审计的作用也日益重要.本文根据实践,总结和提炼了企业风险管理审计的主要内容和
期刊
本文研究的主要内容是机载计算机电源的抗干扰技术,包括耐输入过压浪涌、耐输入欠压浪涌、耐电源汇流条切换瞬断、耐输入尖峰电压等技术.
区(镇)政府内部审计作为内部控制的重要方面,具有监督、服务和评价的职能,对于推进基层党风廉政建设、建立健全完善的内部控制机制发挥着举足轻重的作用.本文立足区(镇)内部
聚合物驱最优注入策略问题是一类分布参数系统的最优控制问题,本文针对聚合物驱注入方案的特点,提出了一种包含时间参数的控制向量参数化方法.该方法将时间节点参数化,所得到
会议
一曲四月的呢喃,一方安宁的天地.四月的昆明,远山如黛,近水含烟.美景无处不在,一草一木一树,一花一山一水,都是一首浪漫的诗歌.在蓝天白云的映衬下,一座座山峦连绵起伏,一眼
期刊
建设资金是保证建设项目顺利开展的物质基础和保障,管好用好建设资金,使之充分发挥效益,是建设项目管理的重要内容之一.笔者结合审计实践,归纳整理建设资金审计在政府建设项
住宅专项维修资金(简称“维修资金”)是居民住宅的“养老金”,对保障住宅建筑安全具有重要作用.根据住房城乡建设部《住宅专项维修资金管理办法》的规定,维修资金是指专项用
在计算机审计中,作为人员信息的唯一识别码,身份证号码发挥了重要作用.通过身份证号码进行数据比对的前提是保证身份证号码的真实合法性,以此为基础,后续的数据比对和结果分
期刊
本文对一类任意切换律下含有时滞的不确定离散切换系统,研究了其保性能观测器设计问题.目的是设计无记忆线性观测器,使得增广系统在容许的不确定性下渐近稳定,并且满足保性能
会议