【摘 要】
：
Petri网的合法变迁引发序列问题(LFS)是其可达性问题的子问题。前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一般Petri网而受限.因此,基于Petri网T-不变
【机 构】
：
东南大学,计算机科学与工程学院,江苏,南京,210096
【出 处】
：
第十六届全国网络与数据通信学术会议(NDCC2008)
论文部分内容阅读
Petri网的合法变迁引发序列问题(LFS)是其可达性问题的子问题。前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一般Petri网而受限.因此,基于Petri网T-不变量支集变迁与可达图有向环路上标注变迁的对应关系,综合应用线性代数与可达树分析,原LFS判定被缩减为以基础向量为发生数向量的LFSb判定.通过两棵可达树(分别以原网、初始标识;逆网、目的标识为根)层序轮流构造同时比较当前叶节点层中的标识,若算法终止前有相同标识出现,则LFSb(LFS)判定成功;反之,LFS判定失败.分析表明,算法的时间复杂度为多项式级别的,且适用于一般Petri网的LFS判定.
其他文献
欠发达地区高校民族舞蹈教育不仅具有舞蹈教育的普遍功能,还有着独特的能动作用。当前高校民族舞蹈教育要进一步提升认识,强化相应的功能价值定位,根据既施教也要传承的原则,
“外王”实际上是儒家学者的人生政治抱负,是儒家学者的政治价值观,是在“内圣”人格理想的基础上提出的政治理想.儒家认为“内圣”是为了“外王”,“外王”才是实现其政治理
经济的高速发展,传媒方式的日益繁荣,社会对插画的需求量越来越大,重视程度越来越高,同时对于商业插画教学要求也在逐渐提高。我们高校的商业插画课程教学方向应适时进行调整
近年来,不断有人指出研究生教育质量有所下降,其中一个重要表现是研究生的信息素养有所下降,如何加强研究生的信息素养教育,提高研究生信息素养水平,已成为当前研究生教育面
情感教育强调自主体验、个性差异及价值取向,这正符合新课程标准中的基本理念,而语文学科的丰富性特点,决定了在语文学科进行情感教育具有得天独厚的优势。可以说,在语文教学
应用文的教学如果单纯的做知识传授,教学效果是不明显的。笔者在教学实践中进行了提高应用文课堂教学效能的对策研究,取得了明显的教学效果,具体做法是:教学形式和教学内容向
人们对健康的了解是随着时代的发展逐渐形成科学的认识:“健康不仅仅是身体没有疾病,而且还要具备心理健康、社会适应良好和道德健康只有具备了上述四方面的良好状态,才是一
教育家叶圣陶说过:“大学毕业生不一定会写小说诗歌,但是一定要写工作和生活中实用的文章,而且非写得既通顺又扎实不可。”这种“工作和生活中实用的文章”就是应用文。鉴于
针对卫星通信网中可能出现的因地球站被捕获、盗用、伪造和非法用户入侵等严重威胁卫星通信网自身安全的问题,提出通过对地球站正常行为聚类的方法实现卫星通信网的异常检测.