基于有限状态机与Petri网的系统分析与设计

• 作者: 姜春英 房立金 赵明扬
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 有限状态机 Petri网 航天器 实时多任务系统
• 年，卷（期）: 2007,（18）
• 所属期刊栏目: 工程应用技术与实现
• 页码范围: 245-248
• 页数: 4页
• 分类号: TP391
• 字数: 4849字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.18.086

摘要

从系统组成、功能需求和体系结构方面介绍了航天器空间对接仿真系统的实时多任务控制系统,基于有限状态机和Petri网方法对其进行了单任务级和多任务级的分析建模,并以此为基础完成系统的详细设计,其中应用分叉和资源共享模型实现了系统的同步和互斥问题.实际应用中应用工程化和模块化的方法完成系统设计,系统运行性能良好.试验证明这种分析设计方法合理可行.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵明扬	中国科学院沈阳自动化研究所	111	2153	27.0	41.0
2	房立金	中国科学院沈阳自动化研究所	36	942	19.0	30.0
3	姜春英	中国科学院沈阳自动化研究所	11	58	4.0	7.0