江苏大学学报（自然科学版）2009，Vol.30Issue(4)：396-400,5.
基于T-时延离散Petri网的小卫星测试序列生成方法
Generation of test sequences for micro-satellite based on T-timed discrete Petri nets model
摘要
关键词
小卫星/Petri网/测试序列/建模/模型驱动分类
航空航天引用本文复制引用
吴限德,孙兆伟,张世杰..基于T-时延离散Petri网的小卫星测试序列生成方法[J].江苏大学学报（自然科学版）,2009,30(4):396-400,5.基金项目
国家"十一五"预研背景项目(113020102) （113020102）
长江学者和教育部创新团队发展计划项目(IRT0520) （IRT0520）
国家自然科学基金资助项目(60704020) （60704020）
国家"863"计划项目(2007AA702204) （2007AA702204）
