收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

Petri网监控的时态逻辑框架

李晓鸥  郭令忠  徐心和  
【摘要】:本文介绍了一种高级说明(specification)语言——时态逻辑,定义了Petri网的时态逻辑框架,并结合以往的Petri网监控机制给出了一Petri网可控的充要条件。最后针对禁止状态避免问题证明了禁止状态可避免的充要条件。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 ;倪光南:“政企合作”将促进云计算进一步落地[J];信息系统工程;2011年07期
2 ;兰州化物所棉纤织物表面可控润湿性研究获新进展[J];电子元件与材料;2011年09期
3 吴倩;;团购要过冬?[J];报林;2011年08期
4 ;中国农业科学院农业环境与可持续发展研究所可控环境农业实验室[J];农业网络信息;2011年08期
5 陈寒青;纪艺娟;丁时栋;谢培贤;;单片机的可控放大器程控滤波器设计[J];单片机与嵌入式系统应用;2011年05期
6 张鹏;;“软件平台”延伸SOA新内涵 国内市场接受度“广而不深”[J];通信世界;2011年23期
7 Jim Zemlin;;Linux是中国软件的机遇[J];程序员;2010年08期
8 刘媛;;信息安全应上升国家战略高度[J];IT时代周刊;2011年18期
9 冯华;;基于VC++的微机可控单片机系统仿真实现[J];长江大学学报(自然科学版);2011年06期
10 尚斌;;线下支付市场支付宝优势不再[J];通信世界;2011年24期
11 苏峰;;实云or浮云?[J];微电脑世界;2011年07期
12 程斌;;网神与龙芯中科战略合作暨新品发布会在京举办[J];信息网络安全;2011年07期
13 王飞;金福江;罗继亮;;随机计时离散事件系统的软控制任务研究[J];计算机与应用化学;2011年07期
14 崔振;;市政工程数字化初探[J];电大理工;2011年02期
15 庞伟;宋德超;;低功耗节能待机的开关电源设计[J];家电科技;2011年07期
16 ;泰策 为北京移动打造安全的递归域名服务器[J];通讯世界;2011年06期
17 ;无线智能家居系统[J];数字社区&智能家居;2010年05期
18 ;中科院上海硅酸盐所在介孔二氧化硅纳米材料的生物相容性基础研究和医学应用研究中取得系列重要进展[J];电子元件与材料;2011年07期
19 万家佑;朱卫霞;;基于MSP430F149的波形发生器设计[J];数字技术与应用;2011年08期
20 杨红玲;师恩洲;;医疗安全预警信息管理系统的设计与应用[J];医学信息(上旬刊);2011年05期
中国重要会议论文全文数据库 前10条
1 李晓鸥;郭令忠;徐心和;;Petri网监控的时态逻辑框架[A];1994中国控制与决策学术年会论文集[C];1994年
2 施剑池;;220kV下关变电站220kV隔离开关更换[A];2009年云南电力技术论坛论文集(文摘部分)[C];2009年
3 王新怀;白岩夫;拓勇;程伟;史小卫;徐贺;;一种用于智能抗干扰系统的可控信号源设计[A];2011年全国微波毫米波会议论文集(下册)[C];2011年
4 陈鹏磊;邱云峰;姚平平;朱明山;刘鸣华;;石墨烯、卟啉等大π体系化合物的组装:从可控组装到性能调控[A];中国化学会第十三届胶体与界面化学会议论文摘要集[C];2011年
5 王树涛;;粘附可控的生物界面材料[A];2011年全国高分子学术论文报告会论文摘要集[C];2011年
6 李峰;王强斌;;蛋白质指导的无机纳米颗粒可控组装[A];中国化学会第28届学术年会第15分会场摘要集[C];2012年
7 严勇;郝波;王啸波;陈戈;;室温下可控仿生合成微纳米结构TiO_2[A];中国化学会第28届学术年会第8分会场摘要集[C];2012年
8 周樨;钟鹭斌;包世雄;张其清;谢兆雄;;纳米金可控自组装及其生物功能化[A];中国化学会第28届学术年会第4分会场摘要集[C];2012年
9 孔丽;郝京诚;;可控孔径的蜂窝状薄膜:配体的影响[A];中国化学会第28届学术年会第12分会场摘要集[C];2012年
10 陈吉涛;顾锋;邵玮;李春忠;;粒径可控Y_2O_3:Eu~(3+)微球的水热合成与表征[A];中国颗粒学会第六届学术年会暨海峡两岸颗粒技术研讨会论文集(上)[C];2008年
中国博士学位论文全文数据库 前10条
1 王秀英;功能氧化物/碳纳米管复合材料的制备与性质研究[D];吉林大学;2009年
2 朱保平;密码理论的若干关键技术研究[D];南京理工大学;2007年
3 扈玫珑;微细球形TiO_2可控制备过程及其动力学研究[D];重庆大学;2009年
4 麻鲁鲁;光功能苝二酰亚胺类衍生物的合成、可控自组装及其性能的研究[D];山东大学;2012年
5 朱一;复合胶束结构的中空微胶囊的制备与性能研究[D];浙江大学;2010年
6 张青;有机(聚合物)/无机复合材料的设计、制备与表征[D];吉林大学;2010年
7 陈栋栋;可控药物释放的层层组装聚合物膜[D];吉林大学;2012年
8 周密;一维非碳无机纳米材料表面聚合物可控功能化研究[D];清华大学;2009年
9 王鑫;可控带隙改性TiO_2光阳极的制备与光电性能研究[D];哈尔滨工业大学;2010年
10 王云开;无凸轮轴配气机构开发及在可控自燃发动机上的应用研究[D];吉林大学;2011年
中国硕士学位论文全文数据库 前10条
1 韩慧;可控定扭矩旋紧机的研制[D];合肥工业大学;2006年
2 赵生超;可控电传装置设计及在发动机燃油控制系统中的应用[D];哈尔滨工程大学;2011年
3 朱湘艳;细胞自动机理论在流密码体制中的应用[D];南京理工大学;2008年
4 戴涛;基于EPON的可控组播研究[D];电子科技大学;2008年
5 郭文科;750kV可控高压并联电抗器控制策略研究[D];兰州理工大学;2012年
6 胡爱丽;几个不同参数可控的排序问题的讨论[D];苏州大学;2009年
7 王苗苗;特高压可控并联补偿线路的潜供电流抑制研究[D];华北电力大学(北京);2010年
8 刘培慧;自组装膜对铜的缓蚀性能及其机理的研究[D];上海电力学院;2012年
9 陆秋宇;PI链修饰纳米PS微球的制备及其填充橡胶复合材料的研究[D];北京化工大学;2010年
10 何小敬;表面引发自由基聚合法制备润湿性可控的聚离子液体刷[D];西北师范大学;2010年
中国重要报纸全文数据库 前10条
1 李洪;动态可管 实时可控[N];战士报;2011年
2 记者 易运文 通讯员 杜艳;三分之一癌症可预防 更多癌症变得可控[N];光明日报;2010年
3 张颖波;美称解放军陆基战力10年内可控南海[N];国防时报;2010年
4 记者 季芳 实习生 任禾;我市安全生产继续保持平稳可控态势[N];徐州日报;2009年
5 记者 谢小芳;向核能源安全可控再进一步[N];大连日报;2011年
6 记者 黄一丁 王素芹;投资“西气东输”外方可控股[N];中国信息报;2000年
7 本报记者 王涛;紧紧抓住可控的效益[N];中国石化报;2002年
8 本报记者 梁传基;姚景源:支农惠农稳产增收物价将温和可控[N];粮油市场报;2010年
9 本报记者 周文天;浙江重庆表示地方融资平台风险可控[N];中国证券报;2010年
10 李灿 孙彬 陈刚;江苏六连增 农业渐成“可控产业”[N];粮油市场报;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978