一种新的混杂Petri网可达性分析方法

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:yhmlivefor50
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论混杂Petri网的标识可达性问题.以混杂Petri网模型行为演变为基础提出了一种新的可达性分析方法.根据混杂Petri网模型行为演变划分了混杂Petri网的四种演变类型,给出并证明了每一种演变类型的可达性判定定理,基于这些定理给出了相应的可达性分析算法.另外,与已有的方法进行比较分析,分析结果表明所提出方法的有效性.
其他文献
尽管基于分层数据结构的图像表示有许多优点,但是它们过于强调分割的对称性,因此不是最优的表示方法.借助于布局问题的思想,提出一个基于非对称逆布局模型(NAM)的模式表示方法.通过描述NAM模型,给出多值图像直接NAM表示方法的编码和解码算法,并对算法的复杂性和存储的数据量进行了分析.理论分析和实验结果均表明:与传统的四元树和行程码等图像表示方法相比,直接NAM表示方法在图像数据压缩和重建质量等方面具
昭昭是班上的一个顽童.他爱说爱笑是个无忧无虑的小男孩,甚至刚刚挨过批评,也能像阿Q似的用"精神胜利法"赶走别人不屑的目光,让自己变得快乐起来.
针对传统的固定步长量化方法对不同种类音频载体适应性较差的缺点,提出了一种新的自适应量化步长的数字音频盲水印算法,该算法结合音频载体自身特点自适应确定量化步长,大大增
黄帝尧舜夏商周,春秋战国乱悠悠。秦汉三国西东晋,南北两朝是对头。
农村经济管理工作直接关系到农民的切身利益和农村经济效益的提升。在新常态概念的引导下,我国农村经济管理工作有面临着新的发展机遇与挑战。如何运用新常态的工作理念来推进
对等网络理论上可以将它看成一个大的无向图,图中的顶点表示网络中的每个计算节点,图的边则表示计算节点之间的连接.P2P网络,类似于其他的复杂网络(如Internet、web和社会关系网络
1病历摘要患者,女,32岁.因头痛、发热,自用安乃近及氨苄青霉素治疗3天,出现皮肤搔痒,全身丘疹2天入院.体检:T36.4℃,P78次/min,Bp14/9Kpa,R24次/min,神清,精神萎,痛苦面容.全
从学生的﹃向师性﹄和﹃独立性﹄谈教师修养和教学改革方元山“向师性”和“独立性”是学生两种相对应的基本心理属性,本文将从这个角度谈教师修养与教学改革。所谓“向师性”意指学生
【正】数学教学应让学生在课堂上充分地从事数学活动,让学生在数学活动中探究数学问题,在数学活动中应用所获得的知识和经验去解决实际问题,在数学活动中去感受数学独特的文