基于Petri网结构分析的监控器综合

来源 :自动化学报 | 被引量 : 0次 | 上传用户:gsdgerfdgcvbrrgfdgd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在基于Petri网建模的离散事件系统中,提出利用局部关联信息进行约束转换,并实现Petri网结构监控器综合的方法.对以Parikh矢量约束形式给出的控制规范,不可控不可观变迁会导致约束成为非法约束,分析了不可控变迁的前向关联结构和不可观变迁的后向关联结构,利用局部关联变迁实现对不可控和不可观变迁的间接控制,从而将非法矢量约束转换为合法约束,并保证初始控制规范的实现.与基于矩阵的监控器综合方法相比,本文的方法只需利用局部信息,最后通过实例对该方法进行了说明.
其他文献
<正>中国印石文化源远流长,与书法、绘画、诗歌并称中国四大传统艺术。中国印的出现可追溯至夏。最初只是用作防"伪"的标记。随着社会文化发展,在款识功能的基础上,印章逐渐
期刊
银行联合贷款契约,是联贷银行团为借款企业量身定做的合约.该契约一方面体现合同意思自治原则,另一方面又受制于联贷银团本身的特殊性,即自由与约束并存.本文试图分析联贷契
经济全球化背景下,国际贸易方式发生了巨大变化,产品内贸易取代产业内贸易占据主导地位,国际分工进一步深化,垂直分工体系下,分工方式由简单的产品层面上升到产品不同生产环节层面,各国经济关系日益紧密形成错综复杂的生产网络。伴随国际分工形式的深入发展,制造业生产过程变得尤为复杂,产品生产过程被分割成多个生产环节,各国比较优势得以扩展,越来越多的国家被纳入生产网络之中,产品的价值链被极大地延申了。东亚地区是
学位
随着全球经济金融一体化程度的加深,越来越多的中国企业走出国门。与此同时,国内银行市场也全面开放。在此背景下,我国国有商业银行充分认识到加快国际化进程的重要性,将海外扩张
在过去的三至五年中,宽带业务在全球范围内经历了爆炸式的增长,各主要地区的渗透程度越来越高.韩国率先于2002年末拥有了超过800万宽带用户.日本于2003年奋起直追,宽带用户数
期刊
黑木耳在我国已经有1 000多年栽培历史,是我国最重要的栽培真菌之一,多年来我国黑木耳的学名一直使用模式产地为欧洲的Auricularia auricula-judae。最近的研究表明A.auricul
对于外国投资者来说,印度尼西亚的市场都一直是非常具有有吸引力的。因为印尼不仅拥有丰沛的自然资源,并且拥有一个具有很大潜能潜力的国内市场,这些都是发生在1998年的亚洲金融
房地产私募股权基金是指通过非公开方式面向包括个人和机构的少数投资者募集资金而设立的,以未上市房地产企业的股权为主要投资对象的房地产投资基金。为解决资金压力,自2011