【摘 要】
：
Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Pet
【机 构】
：
浙江工商大学信息与电子工程学院,同济大学电子与信息工程学院,新泽西理工学院电子与计算机工程系,东南大学自动化学院
【基金项目】
：
国家自然科学基金(61374148,61100056,61374069);浙江省杰出青年基金(LR14F020001);浙江省科技计划项目(2013C31111);浙江省新型网络标准与应用技术重点实验室(2013E10012)资助~~
论文部分内容阅读
Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,但由于问题本身的复杂性和难度太大,直到最近20年,经过国内外诸多学者的不懈努力,才逐渐取得了一些阶段性的成果和部分突破.本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献.重点对4种开创性的研究成果展开讨论,分别为有限可达树、扩展可达树、改进可达树及新型改进可达树.探讨了今后无界Petri网可达性问题的研究方向.
其他文献
处理好个人意向与个人作为社会存在所应拥有的集体意向之间的关系，就能够处理好个人与集体或个人主义与集体主义之间的关系问题，进而可以理性反思集体实践的意义，形成并建立道德
目的:探讨精子顶体酶活性测定对男性不育症的实验室诊断价值。方法:按精液常规分析结果将不育男性分为正常精液参数不育组和异常精液参数不育组,同时设立正常对照组,分析比较
铝合金作为一种新型桥梁结构材料,具有轻质高强、耐腐蚀、施工便捷、景观效果好等特点,近年来在城市人行天桥中的应用越来越多。以海口市海秀快速路中某铝合金人行天桥为例,
社会的不断发展加快了信息传递的速度,同时也促使大学生的思想行为发生了一定的变化,给高校的思想政治教育工作带来了困难。大学生正处于人生观、思想观、价值观形成的关键时
目的探讨妊娠中期羊水过少的病因、预后及治疗方法。方法对2010年1月至2014年1月我院收治的80例妊娠中期羊水过少患者的病例资料及妊娠结局进行回顾性分析及随访。结果 1妊娠
针对配网自动化故障检测,首先对传统检测措施存在的局限性进行分析,然后在充分利用配网自动化技术优势的基础上,提出改进与完善措施,并对故障定位与主站故障处理加以分析,旨
无线射频识别技术（RFID）是近几年来业界关注的焦点，并广泛应用于各种各样的领域，特别是如今在安全领域的需求尤为突出，这种技术能够有效的节约资源，做到全自动智能识别，具有高效快捷
塑造和谐人格,是当代中国人的人格发展实际状况对思想政治教育提出的现实要求,也是思想政治教育在当前特定时期实现其自身价值的本质诉求。必须从指导思想、核心价值观、物质
<正>如何借综合国力增强之势,抓住中国进入"国际时尚主战场"的重大战略机遇,搭乘国家形象提升的"顺风车",大力提升职业服饰这一代表国家现代工业文明风貌的时尚魅力?中国职业
提出了多维金字塔表达算法,并使用基于多维金字塔表达的AdaBoost实现了高分辨率合成孔径雷达(Syntheticaperture radar,SAR)图像的城区场景分类.多维金字塔表达算法首先在局