论文部分内容阅读
在基于Petri网的模型验证方法中，步被广泛用于减少变迁实施产生的语义交织．为了研究基于步的构造算法的计算复杂性，提出步的判定问题，并证明该问题是NP完全的．进一步给出了极大步问题的多项式时间算法和最大步问题的NP等价性证明．最后分析两类特殊子问题是P问题．
Petri网的步问题研究
【摘 要】
：
在基于Petri网的模型验证方法中，步被广泛用于减少变迁实施产生的语义交织．为了研究基于步的构造算法的计算复杂性，提出步的判定问题，并证明该问题是NP完全的．进一步给出了极大步
【机 构】
：
同济大学企业数字化技术教育部工程研究中心,湖南理工学院计算机与信息工程系
【出 处】
：
软件学报
【发表日期】
：
2009年3期
【基金项目】
：
Supported by the National High-Tech Research and Development Plan of China under Grant No.2007AA04Z 1 A7 （国家高技术研究发展计划（863））, the National Key Technology R＆D Programs of China under Grant Nos.2006BAF01
其他文献
本文结合实际策划经历,介绍了如何联合各院校的学科带头人,用一种全新的模块教学编写理念,启动中职中专物流管理专业教材的编写思路,具有很强的可操作性.
中等职业学校的低成就生的产生有其根本原因、直接原因和现实原因.应从显性的角度把握其表征,从隐性的角度探析其本质,据此制定尊重主体、激活全体的教育策略和调动主体、规
英语作为高职高专教学中一门必修基础学科，肩负着培养学生实用能力和提高学生基本文化素养的双重任务，但是在当今的高职高专英语教学中，仍然存在各种的问题，本文针对这些问题，探讨
随着能源资源供应紧张,建筑能耗逐渐受到关注,人们对建筑节能提出更高的要求,在介绍当前建筑发展状况的基础上,分析了塑钢门窗的质量状态及原因,全面讲述了提高塑料门窗质量
近年来，有关垂体腺瘤的研究获得了明显的进展，如微腺瘤的发现，根据垂体腺瘤激素分泌功能提出的功能形态学分类，放射免疫、CT和MRI用于早期诊断，显微外科的开展，垂体激素分泌抑制药
中国教育部近日在此间召开的新闻发布会上表示，将把政府“十一五”期间计划对职业教育投入的100亿元用于实施国家技能型人才培养培训、农村劳动力转移培训以及再就业培训等工
由于社会转型,近几年我国有些编辑的职业道德处于失范状态,表现为:不尊重作者的劳动,不维护作者的权利;目无读者;见利忘义,不坚持原则,缺乏奉献精神;不注重提高自己的素质,不
"治超"工作开展一个多月以来,道路货运企业受到了较大的冲击,如何积极应对"治超",成了每一个道路运输企业无法回避的问题.笔者分析了超载超限的形成机理,阐述了通过"治超",道