论文部分内容阅读
Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法.
安全Petri网位置不变式的一种生成算法
【摘 要】
：
Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法.
【机 构】
：
内蒙古大学计算机学院
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
2005年1期
【基金项目】
：
国家自然科学基金，内蒙古科技攻关项目
其他文献
当前我国高校马克思主义公共课在教学内容、教学模式等诸多方面陷入了困境。为走出这一困境，马克思主义哲学公共课教学必须吸收当前马克思主义哲学理论创新的最新成果，改革教学
期刊
大学生临毕业前，有许多人情需要打理，许多青春足迹、美好回忆需要重新梳理。师生同学相聚一场，自然可以有个告别。但除了吃吃喝喝撒酒疯之外，我们就不能在散伙前过得更有创意、更有纪念意义吗？能不能不比吃穿和场面，讲究点别的啊？ 朋友小聚，酌酒话别不是不可以。但已經属于盲目随大流在吃喝上疯狂“被消费”就既非众多大学生的本心，又使学生家庭在择业支出之外另添额外的沉重花销，并不合适。许多大学生内心是排斥讲场面
[摘要]高等体育院校的思想政治理论课教学应该准确把握大学生的思想脉络，增强教育的针对性、实效性和吸引力、感染力。调查研究大学生对思想政治理论课的认知，可以全面而深入地把握影响思想政治理论课教学效果的因素，为思想政治理论课教学的进一步改革提供最为基础的参考依据。 [关键词]高等体育院校 思想政治理论课 认知 调查分析 [作者简介]杨芳(1979-)，女，河南沈丘人，西安体育学院政治理论教研室，讲